Type Theory and Programming (1994)

by Thierry Coquand , Bengt Nordström , Jan M. Smith , Björn von Sydow
Citations:21 - 2 self

Active Bibliography

97 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
845 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
469 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
46 Coercive subtyping – Zhaohui Luo - 1998