J. Seldin

发表

Lambda-Calculus and Combinators, an Introduction: The λ-calculus

J. Hindley, J. Seldin, 2008 .

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

J. Roger Hindley, Jonathan P. Seldin, Haskell B. Curry, 1980 .

Interpreting Church-Style Typed -Calculus in Curry-Style Type Assignment

G. Pottinger, J. Seldin, Garrel Pottinger, 1998 .

Progress report on generalized functionality

J. Seldin, 1979 .

Logical Algebras as Formal Systems: H.B. Curry’s Approach to Algebraic Logic

J. Seldin, 2012 .

Lessons on Algebraic Logic. Introduction and Chapters I and II

H. B. Curry, J. Seldin, 2012 .

In Memoriam: Haskell Brooks Curry

J. Seldin, 2008 .

Two Remarks on Ancient Greek Geometry

J. Seldin, 2000 .

Excluded Middle without Definite Descriptions in the Theory of Constructions

J. Seldin, 2007 .

Type Theories from Barendregt’s Cube for Theorem Provers

J. Seldin, 2014 .

On Normalizing Disjunctive Intermediate Logics

J. Seldin, 2016 .

Gödel, Kuhn, and Feyerabend∗

J. Seldin, 2003 .

Curry’s Formalism as Structuralism

Jonathan P. Seldin, J. Seldin, 2011, Logica Universalis.

CURRY’S ANTICIPATION OF THE TYPES USED IN PROGRAMMING LANGUAGES

Jonathan P. Seldin, J. Seldin, 2002 .

On the role of implication in formal logic

Jonathan P. Seldin, J. Seldin, 2000, Journal of Symbolic Logic.

A Gentzen-style sequent calculus of constructions with expansion rules

Jonathan P. Seldin, J. Seldin, 2000, Theor. Comput. Sci..

Ionic requirement for epinephrine stimulation of frog skin gland secretion.

J. Seldin, T. Hoshiko, 1966, The Journal of experimental zoology.

Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley, Jonathan P. Seldin, J. Hindley, 2008 .

Normalization and excluded middle. I

Jonathan P. Seldin, J. Seldin, 1989, Stud Logica.

A sequent calculus for type assignment

Jonathan P. Seldin, J. Seldin, 1977, Journal of Symbolic Logic.

The Logic of Church and Curry

Jonathan P. Seldin, J. Seldin, 2009, Logic from Russell to Church.

On adding (ξ) to weak equality in combinatory logic

Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin, 1989, Journal of Symbolic Logic.

Lambda calculus and Functional Programming

J. Seldin, 2000 .

Introduction to combinators and λ-calculus

J. Roger Hindley, Jonathan P. Seldin, J. Hindley, 1986, Acta Applicandae Mathematicae.

On the Proof Theory of Coquand's Calculus of Constructions

Jonathan P. Seldin, J. Seldin, 1997, Ann. Pure Appl. Log..

Security modeling in the Ulysses environment

Garrel Pottinger, Owen Rambow, James Hook, 1988, [Proceedings 1988] Fourth Aerospace Computer Security Applications.

Variants of the basic calculus of constructions

Martin W. Bunder, Jonathan P. Seldin, M. Bunder, 2004, J. Appl. Log..

Coquand's calculus of constructions: A mathematical foundation for a proof development system

Jonathan P. Seldin, J. Seldin, 1992, Formal Aspects of Computing.

Mathesis: The Mathematical Foundation of Ulysses.

Jonathan Seldin, J. Seldin, 1987 .

On the proof theory of the intermediate logic MH

Jonathan P. Seldin, J. Seldin, 1986, Journal of Symbolic Logic.

Note on definitional reductions

Jonathan P. Seldin, J. Seldin, 1968, Notre Dame J. Formal Log..

Bridging Curry and Church's typing style

Fairouz Kamareddine, Joe B. Wells, Jonathan P. Seldin, 2016, J. Appl. Log..

On the relation between Church-style typing and Curry-style typing : Extended Abstract ∗

J. Seldin, 2004 .

Introduction to combinators and l-calculus

J. Hindley, J. Seldin, 1986 .

The search for a reduction in combinatory logic equivalent to λβ-reduction

Jonathan P. Seldin, J. Seldin, 2011, Theor. Comput. Sci..

Introduction to combinatory logic

Rasmus Lerdorf, J. Roger Hindley, Jonathan P. Seldin, 1972 .

From Exhaustion to Modern Limit Theory

J. Seldin, 1990 .

Informal Incompleteness: Rules, Philosophy, Law∗

J. Seldin, 2004 .

Book review

J. Hindley, J. Seldin, 2011 .

Introduction to Combinators and Lambda-Calculus

J. Roger Hindley, Jonathan P. Seldin, J. Hindley, 1986 .

A second corrigendum to my paper: "Note on definitional reductions"

Jonathan P. Seldin, J. Seldin, 1980, Notre Dame J. Formal Log..