dblp.uni-trier.dewww.uni-trier.de

Jan M. Smith Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
17EEThierry 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
12EETanel Tammet, Jan M. Smith: Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES 1995: 265-287
11EEThierry 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
9EEJan M. Smith: Kleene's Slash and Existence of Values of Open Terms in Type Theory. CSL 1992: 395-402
1991
8EEGrigori 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

Coauthor Index

1Thierry Coquand [10] [11] [15] [16] [17]
2Peter Dybjer [13] [16]
3Grigori Mints [8]
4Bengt Nordström [3] [10] [13] [16]
5Kent Petersson [4]
6Sara Sadocco [15]
7Anne Salvesen [6]
8Giovanni Sambin [15] [17]
9Björn von Sydow [10]
10Tanel Tammet [12] [14]
11Enn Tyugu [8]
12Silvio Valentini [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)