Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
97 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
952 The Generative Lexicon – James Pustejovsky - 1991
26 Coercive Subtyping in Type Theory – Zhaohui Luo - 1996
11 Contextual analysis of word meanings in type-theoretical semantics – Zhaohui Luo - 2011
1111 Proof-Carrying Code – George C. Necula - 1997
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
485 A semantics of multiple inheritance – Luca Cardelli - 1988
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996