Order:
  1.  42
    Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  17
    Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Oxford University Press.
    This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  38
    The Independence of Peano's Fourth Axiom From Martin-Löf's Type Theory Without Universes.Jan M. Smith - 1988 - Journal of Symbolic Logic 53 (3):840-845.
  4.  7
    Programming in Martin-Löf's Type Theory. An Introduction.Kent Petersson & Jan M. Smith - 1992 - Journal of Symbolic Logic 57 (1):272-274.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  4
    Propositional Functions and Families of Types.Jan M. Smith - 1989 - Notre Dame Journal of Formal Logic 30 (3):442-458.