Jonathan P. Seldin

Available identifiers

zbMath Open seldin.jonathan-pMaRDI QIDQ242949

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6122852	2024-03-01	Paper
Thoughts on Using the History of Mathematics to Teach the Foundations of Mathematical Analysis	2023-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q5869555	2022-09-28	Paper
On Normalizing Disjunctive Intermediate Logics	2019-07-24	Paper
The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II.	2017-01-23	Paper
Bridging Curry and Church's typing style	2016-10-31	Paper
Type Theories from Barendregt’s Cube for Theorem Provers	2015-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q5416151	2014-05-19	Paper
Curry's formalism as structuralism	2013-03-19	Paper
The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction	2011-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q3522248	2008-09-01	Paper
Interpreting HOL in the calculus of constructions	2004-10-28	Paper
Variants of the basic calculus of constructions	2004-10-28	Paper
Extensional set equality in the calculus of constructions	2002-05-14	Paper
On the role of implication in formal logic	2001-01-29	Paper
A Gentzen-style sequent calculus of constructions with expansion rules	2000-08-21	Paper
On lists and other abstract data types in the calculus of constructions	2000-06-21	Paper
On the proof theory of Coquand's calculus of constructions	1997-02-26	Paper
Coquand's calculus of constructions: A mathematical foundation for a proof development system	1993-01-17	Paper
Normalization and excluded middle. I	1989-01-01	Paper
On adding (ξ) to weak equality in combinatory logic	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783269	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722037	1986-01-01	Paper
On the proof theory of the intermediate logic MH	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947663	1981-01-01	Paper
A second corrigendum to my paper Note on definitional reductions	1980-01-01	Paper
Progress report on generalized functionality	1979-01-01	Paper
A sequent calculus formulation of type assignment with equality rules for the λβ-calculus	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4161297	1978-01-01	Paper
Some anomalies in Fitch's system QD	1978-01-01	Paper
A sequent calculus for type assignment	1977-01-01	Paper
The \(Q\)-consistency of \(F_{22}\)	1977-01-01	Paper
Arithmetic as a study of formal systems	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068705	1975-01-01	Paper
Equality in	1974-01-01	Paper
Combinatory logic. Vol. II	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686017	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5645387	1972-01-01	Paper
Corrigendum to my paper: 'Note on definitional reductions'	1969-01-01	Paper
Note on definitional reductions	1968-01-01	Paper

Research outcomes over time

This page was built for person: Jonathan P. Seldin