An intuitionistic theory of types

Cached

Download Links

by Per Martin-Löf
Citations:68 - 0 self

Active Bibliography

595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
272 Image Representation Using 2D Gabor Wavelets – Tai Sing Lee - 1996
3 Gödel's Unpublished Papers on Foundations of Mathematics – W. W. Tait
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997