Jan M. Smith

Jan M. Smith: Evolution and Logic. Epistemology versus Ontology 2012: 129-138

Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini: Inductively generated formal topologies. Ann. Pure Appl. Logic 124(1-3): 71-106 (2003)

Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith: Formal Topologies on The Set of First-Order Formulae. J. Symb. Log. 65(3): 1183-1192 (2000)

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith (Eds.): Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Lecture Notes in Computer Science 1956, Springer 2000, isbn 3-540-41517-3

Tanel Tammet, Jan M. Smith: Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. 8(6): 713-744 (1998)

Thierry Coquand, Jan M. Smith: An Application of Constructive Completeness. TYPES 1995: 76-84

Tanel Tammet, Jan M. Smith: Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES 1995: 265-287

Peter Dybjer, Bengt Nordström, Jan M. Smith (Eds.): Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers. Lecture Notes in Computer Science 996, Springer 1995, isbn 3-540-60579-7

Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow: Type Theorie Programming. Bulletin of the EATCS 52: 203-228 (1994)

Jan M. Smith: Kleene's Slash and Existence of Values of Open Terms in Type Theory. CSL 1992: 395-402

Grigori Mints, Jan M. Smith, Enn Tyugu: Type-theoretical Semantics of Some Declarative Languages. Baltic Computer Science 1991: 18-32

Jan M. Smith: Propositional Functions and Families of Types. Notre Dame Journal of Formal Logic 30(3): 442-458 (1989)

Jan M. Smith: The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes. J. Symb. Log. 53(3): 840-845 (1988)

Anne Salvesen, Jan M. Smith: The Strength of the Subset Type in Martin-Löf's Type Theory. LICS 1988: 384-391

Kent Petersson, Jan M. Smith: Program Derivation in Type Theory: A Partitioning Problem. Comput. Lang. 11(3/4): 161-172 (1986)

Bengt Nordström, Jan M. Smith: Propositions and Specifications of Programs in Martin-Löfs Type Theory. BIT 24(3): 288-301 (1984)

Jan M. Smith: An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions. J. Symb. Log. 49(3): 730-753 (1984)

Jan M. Smith: The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example. FCT 1983: 445-456