Jan Smith

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An application of constructive completeness Lecture Notes in Computer Science	2019-01-15	Paper
Optimized encodings of fragments of type theory in first order logic Lecture Notes in Computer Science	2019-01-15	Paper
Type-theoretical semantics of some declarative languages Baltic Computer Science	2018-12-11	Paper
Inductively generated formal topologies. Annals of Pure and Applied Logic	2003-11-25	Paper
Formal topologies on the set of first-order formulae Journal of Symbolic Logic	2001-07-22	Paper
Optimized encodings of fragments of type theory in first-order logic Journal Of Logic And Computation	1999-11-29	Paper
scientific article; zbMATH DE number 515745 (Why is no real title available?)	1994-09-11	Paper
scientific article; zbMATH DE number 559219 (Why is no real title available?)	1994-05-24	Paper
scientific article; zbMATH DE number 50149 (Why is no real title available?)	1992-09-17	Paper
Propositional functions and families of types Notre Dame Journal of Formal Logic	1989-01-01	Paper
The independence of Peano's fourth axiom from Martin-Löf's type theory without universes Journal of Symbolic Logic	1988-01-01	Paper
scientific article; zbMATH DE number 4143955 (Why is no real title available?)	1987-01-01	Paper
Program derivation in type theory: A partitioning problem Computer Languages	1986-01-01	Paper
Propositions and specifications of programs in Martin-Löf's type theory BIT	1984-01-01	Paper
An interpretation of Martin-Löf's type theory in a type-free theory of propositions Journal of Symbolic Logic	1984-01-01	Paper
scientific article; zbMATH DE number 3827194 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Jan Smith