Jan Smith

Available identifiers

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

This page was built for person: Jan Smith