Jan Smith

Available identifiers

zbMath Open smith.jan-mMaRDI QIDQ800718

List of research outcomes

Publication	Date of Publication	Type
An application of constructive completeness	2019-01-15	Paper
Optimized encodings of fragments of type theory in first order logic	2019-01-15	Paper
Type-theoretical semantics of some declarative languages	2018-12-11	Paper
Inductively generated formal topologies.	2003-11-25	Paper
Formal topologies on the set of first-order formulae	2001-07-22	Paper
Optimized encodings of fragments of type theory in first-order logic	1999-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4283248	1994-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4289277	1994-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q3999860	1992-09-17	Paper
Propositional functions and families of types	1989-01-01	Paper
The independence of Peano's fourth axiom from Martin-Löf's type theory without universes	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3475253	1987-01-01	Paper
Program derivation in type theory: A partitioning problem	1986-01-01	Paper
Propositions and specifications of programs in Martin-Löf's type theory	1984-01-01	Paper
An interpretation of Martin-Löf's type theory in a type-free theory of propositions	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673095	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Smith