Jan M. Smith

18 papers A* 1B 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2012 — ch.
Evolution and Logic.
Epistemology versus Ontology
Jan M. Smith
2003 J jnl
Inductively generated formal topologies.
Ann. Pure Appl. Log.
Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
2000 J jnl
Formal Topologies on The Set of First-Order Formulae.
J. Symb. Log.
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
2000 — ed.
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
TYPES
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith
1998 J jnl
Optimized Encodings of Fragments of Type Theory in First-Order Logic.
J. Log. Comput.
Tanel Tammet, Jan M. Smith
1995 — conf
An Application of Constructive Completeness.
TYPES
Thierry Coquand, Jan M. Smith
1995 — conf
Optimized Encodings of Fragments of Type Theory in First Order Logic.
TYPES
Tanel Tammet, Jan M. Smith
1995 — ed.
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers
TYPES
Peter Dybjer, Bengt Nordström, Jan M. Smith
1994 J jnl
Type Theorie Programming.
Bull. EATCS
Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
1992 B conf
Kleene's Slash and Existence of Values of Open Terms in Type Theory.
CSL
Jan M. Smith
1991 — ch.
Type-theoretical Semantics of Some Declarative Languages.
Baltic Computer Science
Grigori Mints, Jan M. Smith, Enn Tyugu
1989 J jnl
Propositional Functions and Families of Types.
Notre Dame J. Formal Log.
Jan M. Smith
1988 J jnl
The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes.
J. Symb. Log.
Jan M. Smith
1988 A* conf
The Strength of the Subset Type in Martin-Löf's Type Theory
LICS
Anne Salvesen, Jan M. Smith
1986 J jnl
Program Derivation in Type Theory: A Partitioning Problem.
Comput. Lang.
Kent Petersson, Jan M. Smith
1984 J jnl
An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions.
J. Symb. Log.
Jan M. Smith
1984 J jnl
Propositions and Specifications of Programs in Martin-Löfs Type Theory.
BIT
Bengt Nordström, Jan M. Smith
1983 B conf
The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.
FCT
Jan M. Smith