Jan M. Smith

According to our database, Jan M. Smith authored at least 15 papers between 1983 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Evolution and Logic.

Jan M. Smith

Proceedings of the Epistemology versus Ontology, 2012

2003

Inductively generated formal topologies.

Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini

Ann. Pure Appl. Log., 2003

2000

Formal Topologies on The Set of First-Order Formulae.

Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith

J. Symb. Log., 2000

1998

Optimized Encodings of Fragments of Type Theory in First-Order Logic.

Tanel Tammet, Jan M. Smith

J. Log. Comput., 1998

1995

An Application of Constructive Completeness.

Thierry Coquand, Jan M. Smith

Proceedings of the Types for Proofs and Programs, 1995

1994

Type Theorie Programming.

Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow

Bull. EATCS, 1994

1992

Kleene's Slash and Existence of Values of Open Terms in Type Theory.

Jan M. Smith

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Type-theoretical Semantics of Some Declarative Languages.

Grigori Mints, Jan M. Smith, Enn Tyugu

Proceedings of the Baltic Computer Science, Selected Papers, 1991

1989

Propositional Functions and Families of Types.

Jan M. Smith

Notre Dame J. Formal Log., 1989

1988

The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes.

Jan M. Smith

J. Symb. Log., 1988

The Strength of the Subset Type in Martin-Löf's Type Theory

Anne Salvesen, Jan M. Smith

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1986

Program Derivation in Type Theory: A Partitioning Problem.

Kent Petersson, Jan M. Smith

Comput. Lang., 1986

1984

An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions.

Jan M. Smith

J. Symb. Log., 1984

Propositions and Specifications of Programs in Martin-Löfs Type Theory.

Bengt Nordström, Jan M. Smith

BIT, 1984

1983

The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.

Jan M. Smith

Proceedings of the Fundamentals of Computation Theory, 1983