Twitter results found:

• Mon, 12 Nov 2012 04:02:56 +0000 - RT @shapr: I feel completely unqualified to compare Prolog's Horn clauses to Martin-Löf's intuitionistic type theory, but shall do so anyway.
• Thu, 08 Nov 2012 11:49:16 +0000 - 最近やたらMartin-löfを見るな。
• Mon, 12 Nov 2012 02:42:42 +0000 - I feel completely unqualified to compare Prolog's Horn clauses to Martin-Löf's intuitionistic type theory, but shall do so anyway.

No linkedIn results found

All 0 LinkedIn results for martin loef

http://arxiv.org/abs/0708.2319
Aug 17, 2007 ... Abstract: Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to ...

http://en.wikipedia.org/wiki/Per_Martin-L%25C3%25B6f
Per Erik Rutger Martin-Löf (born 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the ...

http://statmath.wu-wien.ac.at/people/hatz/psychometrics/10w/RM_handouts_6.pdf
MLoef(rmod, splitcr = "median"). Martin-Loef-Test (split criterion: median). LR- value: 8.009. Chi-square df: 8 p-value: 0.433. > MLoef(rmod, splitcr = c(1, 1, 1, 1, 0, ...

http://www.dai.ed.ac.uk/papers/documents/rp564.html
Abstract: Program synthesis in Martin-Loef's Theory of Types is a theorem proving activity. We demonstrate how the rich structure of the theory may be exploited ...

http://www.linkedin.com/pub/martin-loef/1/b12/448
Bekijk het (Nederland) professionele profiel van Martin Loef op LinkedIn. LinkedIn is het grootste zakelijke netwerk ter wereld. Professionals als Martin Loef ...

http://www.linkedin.com/pub/martin-loef/47/985/694
View Martin Loef's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Martin Loef discover inside ...

http://www.pps.univ-paris-diderot.fr/~kesner/westapp/99/proc/proc.ps.gz
The 1999. Federated Logic Conference. Proceedings of the FLoC Workshop. The Second International Workshop. on Explicit Substitutions: Theory and ...

http://www.woneninrotterdam.nl/ontdek_rotterdam/bewoners_aan_het_woord/schiecentrale__het_was_meteen_geweldig
Martin Loef en Renske Spijkerman genieten in riante loft. ... Een open dag in de Schiecentrale trok Martin Loef en Renske Spijkerman over de streep. “Ik vond ...

All Google results for martin loef