| 2003 |
|---|
| 17 | EE | Thierry Coquand,
Giovanni Sambin,
Jan M. Smith,
Silvio Valentini:
Inductively generated formal topologies.
Ann. Pure Appl. Logic 124(1-3): 71-106 (2003) |
| 2000 |
|---|
| 16 | | Thierry Coquand,
Peter Dybjer,
Bengt Nordström,
Jan M. Smith:
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Springer 2000 |
| 15 | | 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) |
| 1998 |
|---|
| 14 | | Tanel Tammet,
Jan M. Smith:
Optimized Encodings of Fragments of Type Theory in First-Order Logic.
J. Log. Comput. 8(6): 713-744 (1998) |
| 1995 |
|---|
| 13 | | Peter Dybjer,
Bengt Nordström,
Jan M. Smith:
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers
Springer 1995 |
| 12 | EE | Tanel Tammet,
Jan M. Smith:
Optimized Encodings of Fragments of Type Theory in First Order Logic.
TYPES 1995: 265-287 |
| 11 | EE | Thierry Coquand,
Jan M. Smith:
An Application of Constructive Completeness.
TYPES 1995: 76-84 |
| 1994 |
|---|
| 10 | | Thierry Coquand,
Bengt Nordström,
Jan M. Smith,
Björn von Sydow:
Type Theorie Programming.
Bulletin of the EATCS 52: 203-228 (1994) |
| 1992 |
|---|
| 9 | | Jan M. Smith:
Kleene's Slash and Existence of Values of Open Terms in Type Theory.
CSL 1992: 395-402 |
| 1991 |
|---|
| 8 | | Grigori Mints,
Jan M. Smith,
Enn Tyugu:
Type-theoretical Semantics of Some Declarative Languages.
Baltic Computer Science 1991: 18-32 |
| 1989 |
|---|
| 7 | | Jan M. Smith:
Propositional Functions and Families of Types.
Notre Dame Journal of Formal Logic 30(3): 442-458 (1989) |
| 1988 |
|---|
| 6 | | Anne Salvesen,
Jan M. Smith:
The Strength of the Subset Type in Martin-Löf's Type Theory
LICS 1988: 384-391 |
| 5 | | 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) |
| 1986 |
|---|
| 4 | | Kent Petersson,
Jan M. Smith:
Program Derivation in Type Theory: A Partitioning Problem.
Comput. Lang. 11(3/4): 161-172 (1986) |
| 1984 |
|---|
| 3 | | Bengt Nordström,
Jan M. Smith:
Propositions and Specifications of Programs in Martin-Löfs Type Theory.
BIT 24(3): 288-301 (1984) |
| 2 | | 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) |
| 1983 |
|---|
| 1 | | Jan M. Smith:
The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.
FCT 1983: 445-456 |
