- Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33-35):547-559.details
|
|
Minimize restrictors!(Notes on definite descriptions, condition cand epithets).Philippe Schlenker - 2005 - In Emar Maier, Corien Bary & Janneke Huitink (eds.), Proceedings of Sinn und Bedeutung 9. Nijmegen Centre for Semantics.details
|
|
Enumerators of lambda terms are reducing constructively.Henk Barendregt - 1995 - Annals of Pure and Applied Logic 73 (1):3-9.details
|
|
Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.details
|
|
Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.details
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
Proceedings of Sinn und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.details
|
|
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.details
|
|
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.details
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin C. Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.details
|
|
Domains for computation in mathematics, physics and exact real arithmetic.Abbas Edalat - 1997 - Bulletin of Symbolic Logic 3 (4):401-452.details
|
|
A general formulation of simultaneous inductive-recursive definitions in type theory.Peter Dybjer - 2000 - Journal of Symbolic Logic 65 (2):525-549.details
|
|
Pure type systems with more liberal rules.Martin Bunder & Wil Dekkers - 2001 - Journal of Symbolic Logic 66 (4):1561-1580.details
|
|
Cumulative Habilitation Script.Christoph Benzmüller - 2006 - Saarland University, Germany.details
|
|
Upper Bounds for Standardizations and an Application.Hongwei Xi - 1999 - Journal of Symbolic Logic 64 (1):291-303.details
|
|
S-Storage Operators.Karim Nour - 1998 - Mathematical Logic Quarterly 44 (1):99-108.details
|
|
A combinatory account of internal structure.Barry Jay & Thomas Given-Wilson - 2011 - Journal of Symbolic Logic 76 (3):807 - 826.details
|
|
Reflexivity and Eigenform: The Shape of Process.Louis H. Kauffman - 2009 - Constructivist Foundations 4 (3):121-137.details
|
|
Language Learning From Positive Evidence, Reconsidered: A Simplicity-Based Approach.Anne S. Hsu, Nick Chater & Paul Vitányi - 2013 - Topics in Cognitive Science 5 (1):35-55.details
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
Foundations of nominal techniques: logic and semantics of variables in abstract syntax.Murdoch J. Gabbay - 2011 - Bulletin of Symbolic Logic 17 (2):161-229.details
|
|
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.details
|
|
The proofs of α→α in P - W.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.details
|
|
Compact bracket abstraction in combinatory logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.details
|
|
Exact Bounds for lengths of reductions in typed λ-calculus.Arnold Beckmann - 2001 - Journal of Symbolic Logic 66 (3):1277-1285.details
|
|
Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.details
|
|
Degrees of sensible lambda theories.Henk Barendregt, Jan Bergstra, Jan Willem Klop & Henri Volken - 1978 - Journal of Symbolic Logic 43 (1):45-55.details
|
|
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.details
|
|
∈ : Formal concepts in a material world truthmaking and exemplification as types of determination.Philipp Keller - 2007 - Dissertation, University of Genevadetails
|
|
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.details
|
|
The basis decision problem in λ‐calculus.Benedetto Intrigila - 1993 - Mathematical Logic Quarterly 39 (1):178-180.details
|
|
Non-redundancy: Towards a semantic reinterpretation of binding theory.Philippe Schlenker - 2005 - Natural Language Semantics 13 (1):1-92.details
|
|
A basis result in combinatory logic.Remi Legrand - 1988 - Journal of Symbolic Logic 53 (4):1224-1226.details
|
|
On the expressive power of abstract categorial grammars: Representing context-free formalisms. [REVIEW]Philippe de Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.details
|
|
Remark on Jacobson 1999: Crossover as a local constraint. [REVIEW]Chris Barker - 2004 - Linguistics and Philosophy 28 (4):447 - 472.details
|
|
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.details
|
|
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
A new proof for Craig's theorem.P. Bellot - 1985 - Journal of Symbolic Logic 50 (2):395-396.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
Types as graphs: Continuations in type logical grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.details
|
|
Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics.Martín H. Escardó - 2013 - Journal of Symbolic Logic 78 (3):764-784.details
|
|
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.details
|
|
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.details
|
|
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.details
|
|
Truncation and semi-decidability notions in applicative theories.Gerhard Jäger, Timotej Rosebrock & Sato Kentaro - 2018 - Journal of Symbolic Logic 83 (3):967-990.details
|
|
Storage operators and forall-positive types of system TTR.Karim Nour - 1996 - Mathematical Logic Quarterly 42:349-368.details
|
|
Modal Objection to Naive Leibnizian Identity.Dale Jacquette - 2011 - History and Philosophy of Logic 32 (2):107 - 118.details
|
|
Higher-order semantics and extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027-1088.details
|
|
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.details
|
|