# Jan M. Smith

According to our database

Collaborative distances:

^{1}, Jan M. Smith authored at least 15 papers between 1983 and 2012.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2012

Proceedings of the Epistemology versus Ontology, 2012

2003

Ann. Pure Appl. Log., 2003

2000

J. Symb. Log., 2000

1998

J. Log. Comput., 1998

1995

Proceedings of the Types for Proofs and Programs, 1995

1994

Type Theorie Programming.

Bull. EATCS, 1994

1992

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

1991

Proceedings of the Baltic Computer Science, Selected Papers, 1991

1989

Notre Dame J. Formal Log., 1989

1988

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

J. Symb. Log., 1988

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

1986

Comput. Lang., 1986

1984

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

J. Symb. Log., 1984

BIT, 1984

1983

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

Proceedings of the Fundamentals of Computation Theory, 1983