Concepedia

Jan M. Smith

JM

9

Publications

601

Citations

9

H-Index

1984

Active since

Affiliations

Chalmers University of Technology(Current)

University of Padua

Jan M. Smith is an author at Chalmers University of Technology specializing in formal methods, engineering, and automated reasoning.

Top concepts

Formal MethodsEngineeringAutomated ReasoningMathematical FoundationsSemanticsComputer ScienceSyntaxLanguageEducationLinguistics

Publications per year

1984–2005

9

Publications

9

Programming in Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan M. Smith · Chalmers Publication Library (Chalmers University of Technology) · 1990 · 264 citations

Mathematical Programming, Engineering, Type Theory +18

Inductively generated formal topologies

Thierry Coquand, Giovanni Sambin, Jan M. Smith et al. · Annals of Pure and Applied Logic · 2003 · 146 citations

Engineering, Automated Reasoning, Formal Methods +4

An interpretation of Martin-Löf's type theory in a type-free theory of propositions

Jan M. Smith · Journal of Symbolic Logic · 1984 · 41 citations

Combinator Terms, Engineering, Automated Reasoning +10

The independence of Peano's fourth axiom from Martin-Löf's type theory without universes

Jan M. Smith · Journal of Symbolic Logic · 1988 · 35 citations

Type Theory, Constructive Logic, Philosophy Of Logic +8

Propositions and specifications of programs in Martin-Löf's type theory

Bengt Nordström, Jan M. Smith · BIT Numerical Mathematics · 1984 · 31 citations

Engineering, Automated Reasoning, Type Theory +3

Rows per page

1–5 of 9