Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Jan M.
Last name:	Smith
DBLP:	81/2396
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 15 of 15  

Select a publication
Show	Title	Venue	Rating	Date
	Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini. Inductively generated formal topologies.	Ann. Pure Appl. Logic 2003, Volume 124	(0)	2003
	Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith. Formal Topologies on The Set of First-Order Formulae.	J. Symb. Log. 2000, Volume 65	(0)	2000
	Tanel Tammet, Jan M. Smith. Optimized Encodings of Fragments of Type Theory in First-Order Logic.	J. Log. Comput. 1998, Volume 8	(0)	1998
	Thierry Coquand, Jan M. Smith. An Application of Constructive Completeness.	Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers 1996	(0)	1995
	Tanel Tammet, Jan M. Smith. Optimized Encodings of Fragments of Type Theory in First Order Logic.	Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers 1996	(0)	1995
	Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow. Type Theorie Programming.	Bulletin of the EATCS 1994, Volume 52	(0)	1994
	Jan M. Smith. Kleene's Slash and Existence of Values of Open Terms in Type Theory.	Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers 1993	(0)	1992
	Grigori Mints, Jan M. Smith, Enn Tyugu. Type-theoretical Semantics of Some Declarative Languages.	Baltic Computer Science, Selected Papers 1991	(0)	1991
	Jan M. Smith. Propositional Functions and Families of Types.	Notre Dame Journal of Formal Logic 1989, Volume 30	(0)	1989
	Anne Salvesen, Jan M. Smith. The Strength of the Subset Type in Martin-Löf's Type Theory	Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK 1988	(0)	1988
	Jan M. Smith. The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes.	J. Symb. Log. 1988, Volume 53	(0)	1988
	Kent Petersson, Jan M. Smith. Program Derivation in Type Theory: A Partitioning Problem.	Comput. Lang. 1986, Volume 11	(0)	1986
	Bengt Nordström, Jan M. Smith. Propositions and Specifications of Programs in Martin-Löfs Type Theory.	BIT 1984, Volume 24	(0)	1984
	Jan M. Smith. An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions.	J. Symb. Log. 1984, Volume 49	(0)	1984
	Jan M. Smith. The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.	Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 1983	(0)	1983

Your query returned 15 matches in the database.