Jan M. Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2012

Evolution and LogicJan M. Smith. In Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm, editors, Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Volume 27 of Logic, Epistemology, and the Unity of Science, pages 129-138, Springer, 2012. [doi]

2003

Inductively generated formal topologiesThierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini. APAL, 124(1-3):71-106, 2003. [doi]

2000

Formal Topologies on The Set of First-Order FormulaeThierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith. JSYML, 65(3):1183-1192, 2000.

1998

Optimized Encodings of Fragments of Type Theory in First-Order LogicTanel Tammet, Jan M. Smith. logcom, 8(6):713-744, 1998.

1995

An Application of Constructive CompletenessThierry Coquand, Jan M. Smith. TYPES 1996: 76-84 [doi]

Optimized Encodings of Fragments of Type Theory in First Order LogicTanel Tammet, Jan M. Smith. TYPES 1996: 265-287 [doi]

1994

Type Theorie ProgrammingThierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow. eatcs, 52:203-228, 1994.

1992

Kleene s Slash and Existence of Values of Open Terms in Type TheoryJan M. Smith. csl 1993: 395-402

1991

Type-theoretical Semantics of Some Declarative LanguagesGrigori Mints, Jan M. Smith, Enn Tyugu. balt 1991: 18-32

1989

Propositional Functions and Families of TypesJan M. Smith. ndjfl, 30(3):442-458, 1989.

1988

The Strength of the Subset Type in Martin-Löf s Type TheoryAnne Salvesen, Jan M. Smith. lics 1988: 384-391

The Independence of Peano s Fourth Axiom from Martin-Lof s Type Theory Without UniversesJan M. Smith. JSYML, 53(3):840-845, 1988.

1986

Program Derivation in Type Theory: A Partitioning ProblemKent Petersson, Jan M. Smith. Comp. Lang., Syst. \& Struct., 11(3/4):161-172, 1986.

1984

Propositions and Specifications of Programs in Martin-Löfs Type TheoryBengt Nordström, Jan M. Smith. bit, 24(3):288-301, 1984.

An Interpretation of Martin-Lof s Type Theory in a Type-Free Theory of PropositionsJan M. Smith. JSYML, 49(3):730-753, 1984.

1983

The Identification of Propositions and types in Martin-Löf s Type Theory: A Programming ExampleJan M. Smith. fct 1983: 445-456

Sign in or sign up to see more results.

runs on WebDSL