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
On the proof theory of the intermediate logic MH	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722037	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
https://portal.mardi4nfdi.de/entity/Q4161297	1978-01-01	Paper
A sequent calculus formulation of type assignment with equality rules for the λβ-calculus	1978-01-01	Paper
Some anomalies in Fitch's system QD	1978-01-01	Paper
The \(Q\)-consistency of \(F_{22}\)	1977-01-01	Paper
A sequent calculus for type assignment	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/Q5645387	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5686017	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

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: Jonathan P. Seldin