Jan M. Smith

Publication Activity (10 Years)

Years Active: 1983-2003
Publications (10 Years): 0

Publications

Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
Inductively generated formal topologies. Ann. Pure Appl. Log. 124 (1-3) (2003)
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
Formal Topologies on The Set of First-Order Formulae. J. Symb. Log. 65 (3) (2000)
Tanel Tammet, Jan M. Smith
Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. 8 (6) (1998)
Tanel Tammet, Jan M. Smith
Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES (1995)
Thierry Coquand, Jan M. Smith
An Application of Constructive Completeness. TYPES (1995)
Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
Type Theorie Programming. Bull. EATCS 52 (1994)
Jan M. Smith
Kleene's Slash and Existence of Values of Open Terms in Type Theory. CSL (1992)
Jan M. Smith
Propositional Functions and Families of Types. Notre Dame J. Formal Log. 30 (3) (1989)
Jan M. Smith
The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes. J. Symb. Log. 53 (3) (1988)
Anne Salvesen, Jan M. Smith
The Strength of the Subset Type in Martin-Löf's Type Theory LICS (1988)
Kent Petersson, Jan M. Smith
Program Derivation in Type Theory: A Partitioning Problem. Comput. Lang. 11 (3/4) (1986)
Bengt Nordström, Jan M. Smith
Propositions and Specifications of Programs in Martin-Löfs Type Theory. BIT 24 (3) (1984)
Jan M. Smith
An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions. J. Symb. Log. 49 (3) (1984)
Jan M. Smith
The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example. FCT (1983)