dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

John C. Mitchell (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn C. Mitchell, Eugenio Moggi: Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Logic 51(1-2): 99-124 (1991)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Harper, John C. Mitchell, Eugenio Moggi: Higher-Order Modules and the Phase Distinction. POPL 1990: 341-354
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn C. Mitchell, Eugenio Moggi: Kripke-Style models for typed lambda calculus LICS 1987: 303-314
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman: Empty Types in Polymorphic Lambda Calculus. POPL 1987: 253-262

Selection of 4 from 196 records - John C. Mitchell has 133 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page