On the public citation graph

The Impact of the Lambda Calculus in Logic and Computer Science

0 signed · 250 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380090105openalex-snapshot

A new implementation technique for applicative languages

inferredcites →https://doi.org/10.1006/inco.1993.1063openalex-snapshot

An Axiomatic Theory for Partial Functions

inferredcites →https://doi.org/10.1007/3-540-15975-4_26openalex-snapshot

Miranda: A non-strict functional language with polymorphic types

inferredcites →https://doi.org/10.1007/3-540-15975-4_29openalex-snapshot

The categorical abstract machine

inferredcites →https://doi.org/10.1007/3-540-56992-8_7openalex-snapshot

A self-interpreter of lambda calculus having a normal form

inferredcites →https://doi.org/10.1007/3-540-57529-4openalex-snapshot

Foundations of Software Technology and Theoretical Computer Science

inferredcites →https://doi.org/10.1007/3-540-57529-4_42openalex-snapshot

Conventional and uniqueness typing in graph rewrite systems

inferredcites →https://doi.org/10.1007/3-540-58140-5_30openalex-snapshot

Pure Type Systems with definitions

inferredcites →https://doi.org/10.1007/978-1-4612-0317-9openalex-snapshot

Categorical Combinators, Sequential Algorithms, and Functional Programming

inferredcites →https://doi.org/10.1007/978-3-642-14287-1openalex-snapshot

Logic, Language and Meaning

inferredcites →https://doi.org/10.1007/978-3-642-38946-7openalex-snapshot

Typed Lambda Calculi and Applications

inferredcites →https://doi.org/10.1007/978-3-642-68952-9openalex-snapshot

Foundations of Constructive Mathematics

inferredcites →https://doi.org/10.1007/978-3-662-41928-1openalex-snapshot

Grundzüge der Theoretischen Logik

inferredcites →https://doi.org/10.1007/bf01019459openalex-snapshot

The discoveries of continuations

inferredcites →https://doi.org/10.1007/bf01135376openalex-snapshot

Definedness

inferredcites →https://doi.org/10.1007/bf01171122openalex-snapshot

Die Axiomatisierung der Mengenlehre

inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot

Untersuchungen �ber das logische Schlie�en. I

inferredcites →https://doi.org/10.1007/bf01201363openalex-snapshot

Untersuchungen �ber das logische Schlie�en. II

inferredcites →https://doi.org/10.1007/bf01459088openalex-snapshot

Zum Hilbertschen Aufbau der reellen Zahlen

inferredcites →https://doi.org/10.1007/bf02276799openalex-snapshot

Definierbare Funktionen imλ-Kalkül mit Typen

inferredcites →https://doi.org/10.1007/bfb0037093openalex-snapshot

Typed Lambda Calculi and Applications

inferredcites →https://doi.org/10.1007/bfb0037116openalex-snapshot

Inductive definitions in the system Coq rules and properties

inferredcites →https://doi.org/10.1007/bfb0060620openalex-snapshot

Symposium on Automatic Demonstration

inferredcites →https://doi.org/10.1007/bfb0060623openalex-snapshot

The mathematical language AUTOMATH, its usage, and some of its extensions

inferredcites →https://doi.org/10.1007/bfb0060636openalex-snapshot

Constructive validity

inferredcites →https://doi.org/10.1007/bfb0066739openalex-snapshot

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

inferredcites →https://doi.org/10.1007/bfb0073961openalex-snapshot

Toposes, Algebraic Geometry and Logic

inferredcites →https://doi.org/10.1007/bfb0073967openalex-snapshot

Continuous lattices

inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot

A theory of type polymorphism in programming

inferredcites →https://doi.org/10.1016/0096-0551(81)90077-1openalex-snapshot

Functional programming: Application and implementation

inferredcites →https://doi.org/10.1016/0304-3975(75)90017-1openalex-snapshot

Call-by-name, call-by-value and the λ-calculus

inferredcites →https://doi.org/10.1016/0304-3975(79)90007-0openalex-snapshot

The typed λ-calculus is not elementary recursive

inferredcites →https://doi.org/10.1016/0304-3975(85)90135-5openalex-snapshot

Automatic synthesis of typed Λ-programs on term algebras

inferredcites →https://doi.org/10.1016/0304-3975(92)90296-ropenalex-snapshot

Map theory

inferredcites →https://doi.org/10.1016/0307-904x(80)90170-5openalex-snapshot

Functional programming: application and implementation

inferredcites →https://doi.org/10.1016/0890-5401(88)90005-3openalex-snapshot

The calculus of constructions

inferredcites →https://doi.org/10.1016/0898-1221(95)90183-3openalex-snapshot

Selected papers on automath

inferredcites →https://doi.org/10.1016/b978-0-7204-2076-0.50006-4openalex-snapshot

ON THE FOUNDATIONS OF MATHEMATICS 1907

inferredcites →https://doi.org/10.1016/c2009-0-14341-6openalex-snapshot

The Lambda Calculus - Its Syntax and Semantics

inferredcites →https://doi.org/10.1016/c2013-0-05296-6openalex-snapshot

Annual Review in Automatic Programming

inferredcites →https://doi.org/10.1016/s0019-9958(82)90796-3openalex-snapshot

Models of the lambda calculus

inferredcites →https://doi.org/10.1016/s0049-237x(08)70205-2openalex-snapshot

Reflections on Automath

inferredcites →https://doi.org/10.1016/s0049-237x(08)70746-8openalex-snapshot

Church's Thesis: A Kind of Reducibility Axiom for Constructive Mathematics

inferredcites →https://doi.org/10.1016/s0049-237x(08)71257-6openalex-snapshot

Church's Thesis and Principles for Mechanisms

inferredcites →https://doi.org/10.1016/s0049-237x(08)x7010-7openalex-snapshot

Selected Papers on Automath

inferredcites →https://doi.org/10.1016/s0049-237x(08)x7039-9openalex-snapshot

The Collected Papers of Gerhard Gentzen

inferredcites →https://doi.org/10.1016/s0049-237x(08)x7060-0openalex-snapshot

The Kleene Symposium

inferredcites →https://doi.org/10.1016/s0049-237x(09)x7024-2openalex-snapshot

Language in Action - Categories, Lambdas and Dynamic Logic

inferredcites →https://doi.org/10.1016/s0065-2458(08)60462-3openalex-snapshot

Information and Computation

inferredcites →https://doi.org/10.1017/cbo9780511565663.002openalex-snapshot

THE FOUNDATIONS OF CONSTRUCTIVE MATHEMATICS

inferredcites →https://doi.org/10.1017/cbo9780511609619openalex-snapshot

Compiling with Continuations

inferredcites →https://doi.org/10.1017/cbo9780511629150openalex-snapshot

Advances in Linear Logic

inferredcites →https://doi.org/10.1017/cbo9781139032636openalex-snapshot

Lambda Calculus with Types

inferredcites →https://doi.org/10.1017/s0022481200039463openalex-snapshot

The theory of classes A modification of von Neumann's system

inferredcites →https://doi.org/10.1017/s0956796800000423openalex-snapshot

Efficient self-interpretation in lambda calculus

inferredcites →https://doi.org/10.1017/s0956796800020062openalex-snapshot

Theoretical Pearls: Self-interpretation in lambda calculus

inferredcites →https://doi.org/10.1017/s0956796809990074openalex-snapshot

Revised 6 Report on the Algorithmic Language Scheme

inferredcites →https://doi.org/10.1038/035028a0openalex-snapshot

American Journal of Mathematics

inferredcites →https://doi.org/10.1038/087273a0openalex-snapshot

Principia Mathematica

inferredcites →https://doi.org/10.1073/pnas.20.11.584openalex-snapshot

Functionality in Combinatory Logic

inferredcites →https://doi.org/10.1090/s0002-9947-1936-1501858-0openalex-snapshot

Some properties of conversion

inferredcites →https://doi.org/10.1090/s0002-9947-1969-0253905-6openalex-snapshot

The principle type-scheme of an object in combinatory logic

inferredcites →https://doi.org/10.1093/comjnl/32.2.98openalex-snapshot

Why Functional Programming Matters

inferredcites →https://doi.org/10.1093/comjnl/6.4.308openalex-snapshot

The Mechanical Evaluation of Expressions

inferredcites →https://doi.org/10.1109/lics.1996.561307openalex-snapshot

Subtyping dependent types

inferredcites →https://doi.org/10.1109/mahc.1981.10004openalex-snapshot

Origins of Recursive Function Theory

inferredcites →https://doi.org/10.1109/mahc.1984.10040openalex-snapshot

Highlights of the History of the Lambda-Calculus

inferredcites →https://doi.org/10.1109/ms.1985.231038openalex-snapshot

25th Annual Symposium on Foundations of Computer Science

inferredcites →https://doi.org/10.1109/sfcs.1983.50openalex-snapshot

Reasoning about functional programs and complexity classes associated with type disciplines

inferredcites →https://doi.org/10.1111/j.1746-8361.1969.tb01183.xopenalex-snapshot

Modified Basic Functionality in Combinatory Logic

inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot

On Computable Numbers, with an Application to the Entscheidungsproblem

inferredcites →https://doi.org/10.1137/0211062openalex-snapshot

The Category-Theoretic Solution of Recursive Domain Equations

inferredcites →https://doi.org/10.1142/9789814536240openalex-snapshot

Theoretical Computer Science

inferredcites →https://doi.org/10.1145/130697.130699openalex-snapshot

Report on the programming language Haskell

inferredcites →https://doi.org/10.1145/1460833.1460872openalex-snapshot

A programming language

inferredcites →https://doi.org/10.1145/158511.158524openalex-snapshot

Imperative functional programming

inferredcites →https://doi.org/10.1145/359576.359579openalex-snapshot

Can programming be liberated from the von Neumann style?

inferredcites →https://doi.org/10.1145/382130.382133openalex-snapshot

Revised 4 report on the algorithmic language scheme

inferredcites →https://doi.org/10.1145/502874.502880openalex-snapshot

Efficient compilation of lazy evaluation

inferredcites →https://doi.org/10.1145/502949.502880openalex-snapshot

Efficient compilation of lazy evaluation

inferredcites →https://doi.org/10.1145/800194.805852openalex-snapshot

Definitional interpreters for higher-order programming languages

inferredcites →https://doi.org/10.1145/800257openalex-snapshot

Proceedings of the 1964 19th ACM national conference on -

inferredcites →https://doi.org/10.1145/948566.948570openalex-snapshot

An acceptive grammar for the natural language English

inferredcites →https://doi.org/10.1215/s0012-7094-36-00227-2openalex-snapshot

λ-definability and recursiveness

inferredcites →https://doi.org/10.1515/crll.1925.154.219openalex-snapshot

Eine Axiomatisierung der Mengenlehre.

inferredcites →https://doi.org/10.21236/ad0406138openalex-snapshot

LISP 1.5 PROGRAMMER'S MANUAL

inferredcites →https://doi.org/10.2307/1968646openalex-snapshot

The Inconsistency of Certain Formal Logics

inferredcites →https://doi.org/10.2307/1995158openalex-snapshot

The Principal Type-Scheme of an Object in Combinatory Logic

inferredcites →https://doi.org/10.2307/2266170openalex-snapshot

A formulation of the simple theory of types

inferredcites →https://doi.org/10.2307/2268280openalex-snapshot

Computability and λ-definability

inferredcites →https://doi.org/10.2307/2275096openalex-snapshot

Systems of illative combinatory logic complete for first-order propositional and predicate calculus

inferredcites →https://doi.org/10.2307/2322156openalex-snapshot

Mathematical Structures for Computer Science.

inferredcites →https://doi.org/10.2307/2370619openalex-snapshot

Grundlagen der Kombinatorischen Logik

inferredcites →https://doi.org/10.2307/2371045openalex-snapshot

An Unsolvable Problem of Elementary Number Theory

inferredcites →https://doi.org/10.2307/2586717openalex-snapshot

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic

inferredcites →https://doi.org/10.2307/320601openalex-snapshot

Grundlagen der Analysis

inferredcites →https://doi.org/10.48456/tr-285openalex-snapshot

Functional programming and input/output

inferredcites →https://doi.org/10.5840/monist192434418openalex-snapshot

Foundations of Mathematics

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9780470050118.ecse212openalex-snapshot

Lambda‐Calculus

inferred← citeshttps://doi.org/10.1006/jsco.2001.0455openalex-snapshot

Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants

inferred← citeshttps://doi.org/10.1007/11780342_59openalex-snapshot

Kurt Gödel and Computability Theory

inferred← citeshttps://doi.org/10.1007/11812289_5openalex-snapshot

A Dynamic Poincaré Principle

inferred← citeshttps://doi.org/10.1007/11814771_17openalex-snapshot

Towards Self-verification of HOL Light

inferred← citeshttps://doi.org/10.1007/11853107_1openalex-snapshot

The RuleML Family of Web Rule Languages

inferred← citeshttps://doi.org/10.1007/3-540-36469-2_15openalex-snapshot

Comparing Mathematical Provers

inferred← citeshttps://doi.org/10.1007/3-540-44755-5_26openalex-snapshot

Mizar Light for HOL Light

inferred← citeshttps://doi.org/10.1007/3-540-49099-x_8openalex-snapshot

Constructor Subtyping

inferred← citeshttps://doi.org/10.1007/978-3-030-77799-9_9openalex-snapshot

What is the Church-Turing Thesis?

inferred← citeshttps://doi.org/10.1007/978-3-030-80129-8_30openalex-snapshot

The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools

inferred← citeshttps://doi.org/10.1007/978-3-031-52411-0_9openalex-snapshot

Judgmental and Definitional Equality from a Fregean Perspective

inferred← citeshttps://doi.org/10.1007/978-3-319-00966-7_1openalex-snapshot

Foundations of Mathematics from the Perspective of Computer Verification

inferred← citeshttps://doi.org/10.1007/978-3-540-25938-1_14openalex-snapshot

Linearization by Program Transformation

inferred← citeshttps://doi.org/10.1007/978-3-540-36351-4openalex-snapshot

Kolmogorov’s Heritage in Mathematics

inferred← citeshttps://doi.org/10.1007/978-3-540-36351-4_2openalex-snapshot

Kolmogorov’s contribution to intuitionistic logic

inferred← citeshttps://doi.org/10.1007/978-3-540-78127-1_11openalex-snapshot

Why Sets?

inferred← citeshttps://doi.org/10.1007/978-3-642-40355-2_12openalex-snapshot

Programming in the λ-Calculus: From Church to Scott and Back

inferred← citeshttps://doi.org/10.1007/978-3-642-58622-4_3openalex-snapshot

Problems in Type Theory

inferred← citeshttps://doi.org/10.1007/978-94-007-4435-6_10openalex-snapshot

A Computational Interpretation of Forcing in Type Theory

inferred← citeshttps://doi.org/10.1007/978-94-015-8988-8_9openalex-snapshot

A Picaresque Approach to Set Theory Genealogy

inferred← citeshttps://doi.org/10.1007/s10817-016-9380-6openalex-snapshot

A Semantic Framework for Proof Evidence

inferred← citeshttps://doi.org/10.1007/s11098-010-9609-xopenalex-snapshot

Predicate abstraction, the limits of quantification, and the modality of existence

inferred← citeshttps://doi.org/10.1007/s11225-020-09938-7openalex-snapshot

The Calculus of Natural Calculation

inferred← citeshttps://doi.org/10.1007/s11229-017-1595-5openalex-snapshot

If structured propositions are logical procedures then how are procedures individuated?

inferred← citeshttps://doi.org/10.1007/s13347-019-00370-xopenalex-snapshot

Reciprocal Influences Between Proof Theory and Logic Programming

inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50004-6openalex-snapshot

History of Interactive Theorem Proving

inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50005-8openalex-snapshot

Automation of Higher-Order Logic

inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50020-5openalex-snapshot

Proof-Assistants Using Dependent Type Systems

inferred← citeshttps://doi.org/10.1016/j.apal.2025.103693openalex-snapshot

Twin procedures, two kinds of variable binding, and two kinds of computation

inferred← citeshttps://doi.org/10.1016/j.cogsys.2020.10.016openalex-snapshot

Modeling spread, interlace and interchange of information processes with variable domains

inferred← citeshttps://doi.org/10.1016/j.ic.2018.03.001openalex-snapshot

Incorporating quotation and evaluation into Church's type theory

inferred← citeshttps://doi.org/10.1016/j.procs.2021.06.042openalex-snapshot

Prototype Mechanisms for Supporting the Network of Links to Parameterized Data Objects

inferred← citeshttps://doi.org/10.1016/j.procs.2021.06.044openalex-snapshot

Cognitive System to Clarify the Semantic Vulnerability and Destructive Substitutions

inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80002-9openalex-snapshot

Type-free λ-calculus

inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80018-2openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00057-8openalex-snapshot

From computation to foundations via functions and application: The λ-calculus and its webbed models

inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70018-4openalex-snapshot

Lambda-Calculus and Combinators in the 20th Century

inferred← citeshttps://doi.org/10.1017/chol9780521591041openalex-snapshot

The Cambridge History of Philosophy 1870–1945

inferred← citeshttps://doi.org/10.1017/chol9780521591041.001openalex-snapshot

Frontmatter

inferred← citeshttps://doi.org/10.1017/chol9780521591041.002openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1017/chol9780521591041.003openalex-snapshot

Positivist thought in the nineteenth century

inferred← citeshttps://doi.org/10.1017/chol9780521591041.004openalex-snapshot

Neo-Kantianism: the German idealism movement

inferred← citeshttps://doi.org/10.1017/chol9780521591041.005openalex-snapshot

Idealism in Britain and the United States

inferred← citeshttps://doi.org/10.1017/chol9780521591041.006openalex-snapshot

Idealism in Russia

inferred← citeshttps://doi.org/10.1017/chol9780521591041.007openalex-snapshot

Bergson

inferred← citeshttps://doi.org/10.1017/chol9780521591041.008openalex-snapshot

Pragmatism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.009openalex-snapshot

Psychology: old and new

inferred← citeshttps://doi.org/10.1017/chol9780521591041.010openalex-snapshot

The unconscious mind

inferred← citeshttps://doi.org/10.1017/chol9780521591041.011openalex-snapshot

Logic: revival and reform

inferred← citeshttps://doi.org/10.1017/chol9780521591041.012openalex-snapshot

Foundations of mathematics

inferred← citeshttps://doi.org/10.1017/chol9780521591041.013openalex-snapshot

Theories of judgement

inferred← citeshttps://doi.org/10.1017/chol9780521591041.014openalex-snapshot

The logical analysis of language

inferred← citeshttps://doi.org/10.1017/chol9780521591041.015openalex-snapshot

The atomism debate

inferred← citeshttps://doi.org/10.1017/chol9780521591041.016openalex-snapshot

Theories of space-time in modern physics

inferred← citeshttps://doi.org/10.1017/chol9780521591041.017openalex-snapshot

The debate over theGeisteswissenschaftenin German philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.018openalex-snapshot

From political economy to positive economics

inferred← citeshttps://doi.org/10.1017/chol9780521591041.019openalex-snapshot

Sociology and the idea of social science

inferred← citeshttps://doi.org/10.1017/chol9780521591041.020openalex-snapshot

Utilitarians and idealists

inferred← citeshttps://doi.org/10.1017/chol9780521591041.021openalex-snapshot

Nietzsche

inferred← citeshttps://doi.org/10.1017/chol9780521591041.022openalex-snapshot

The new realism in ethics

inferred← citeshttps://doi.org/10.1017/chol9780521591041.023openalex-snapshot

Individualism vs. collectivism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.024openalex-snapshot

Marxism and anarchism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.025openalex-snapshot

Legal theory

inferred← citeshttps://doi.org/10.1017/chol9780521591041.026openalex-snapshot

Sceptical challenges to faith

inferred← citeshttps://doi.org/10.1017/chol9780521591041.027openalex-snapshot

The defence of faith

inferred← citeshttps://doi.org/10.1017/chol9780521591041.028openalex-snapshot

Art and morality: aesthetics at 1870

inferred← citeshttps://doi.org/10.1017/chol9780521591041.029openalex-snapshot

Form and feeling: aesthetics at the turn of the century

inferred← citeshttps://doi.org/10.1017/chol9780521591041.030openalex-snapshot

Philosophy and the first world war

inferred← citeshttps://doi.org/10.1017/chol9780521591041.031openalex-snapshot

Logical atomism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.032openalex-snapshot

The scientific world conception: logical positivism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.033openalex-snapshot

The achievements of the Polish school of logic

inferred← citeshttps://doi.org/10.1017/chol9780521591041.034openalex-snapshot

Logic and philosophical analysis

inferred← citeshttps://doi.org/10.1017/chol9780521591041.035openalex-snapshot

The continuing idealist tradition

inferred← citeshttps://doi.org/10.1017/chol9780521591041.036openalex-snapshot

Transformations in speculative philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.037openalex-snapshot

Realism, naturalism, and pragmatism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.038openalex-snapshot

French Catholic philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.039openalex-snapshot

Spanish philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.040openalex-snapshot

The phenomenological movement

inferred← citeshttps://doi.org/10.1017/chol9780521591041.041openalex-snapshot

Heidegger

inferred← citeshttps://doi.org/10.1017/chol9780521591041.042openalex-snapshot

Latin american philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.043openalex-snapshot

Japanese philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.044openalex-snapshot

Sensible appearances

inferred← citeshttps://doi.org/10.1017/chol9780521591041.045openalex-snapshot

The renaissance of epistemology

inferred← citeshttps://doi.org/10.1017/chol9780521591041.046openalex-snapshot

The solipsism debates

inferred← citeshttps://doi.org/10.1017/chol9780521591041.047openalex-snapshot

Language

inferred← citeshttps://doi.org/10.1017/chol9780521591041.048openalex-snapshot

The end of philosophy as metaphysics

inferred← citeshttps://doi.org/10.1017/chol9780521591041.049openalex-snapshot

First-order logic and its rivals

inferred← citeshttps://doi.org/10.1017/chol9780521591041.050openalex-snapshot

The golden age of mathematical logic

inferred← citeshttps://doi.org/10.1017/chol9780521591041.051openalex-snapshot

General relativity

inferred← citeshttps://doi.org/10.1017/chol9780521591041.052openalex-snapshot

Scientific explanation

inferred← citeshttps://doi.org/10.1017/chol9780521591041.053openalex-snapshot

The rise of probabilistic thinking

inferred← citeshttps://doi.org/10.1017/chol9780521591041.054openalex-snapshot

Vitalism and emergence

inferred← citeshttps://doi.org/10.1017/chol9780521591041.055openalex-snapshot

Behaviourism and psychology

inferred← citeshttps://doi.org/10.1017/chol9780521591041.056openalex-snapshot

Gestalt psychology

inferred← citeshttps://doi.org/10.1017/chol9780521591041.057openalex-snapshot

Wittgenstein’s conception of mind

inferred← citeshttps://doi.org/10.1017/chol9780521591041.058openalex-snapshot

The methodology of the social sciences

inferred← citeshttps://doi.org/10.1017/chol9780521591041.059openalex-snapshot

The rise of social anthropology

inferred← citeshttps://doi.org/10.1017/chol9780521591041.060openalex-snapshot

Western marxism and ideology critique

inferred← citeshttps://doi.org/10.1017/chol9780521591041.061openalex-snapshot

From intuitionism to emotivism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.062openalex-snapshot

Philosophy of religion

inferred← citeshttps://doi.org/10.1017/chol9780521591041.063openalex-snapshot

Literature as philosophy

inferred← citeshttps://doi.org/10.1017/chol9780521591041.064openalex-snapshot

Aesthetics between the wars: art and liberation

inferred← citeshttps://doi.org/10.1017/chol9780521591041.065openalex-snapshot

Hans Kelsen and normative legal positivism

inferred← citeshttps://doi.org/10.1017/chol9780521591041.066openalex-snapshot

The liberal democratic state: defences and developments

inferred← citeshttps://doi.org/10.1017/chol9780521591041.067openalex-snapshot

The liberal democratic state: critics

inferred← citeshttps://doi.org/10.1017/chol9780521591041.068openalex-snapshot

Biobibliographical appendix

inferred← citeshttps://doi.org/10.1017/chol9780521591041.069openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1017/s095679682000009xopenalex-snapshot

Many more predecessors: A representation workout

inferred← citeshttps://doi.org/10.1023/b:mind.0000045990.57744.2bopenalex-snapshot

A Dynamic Interaction Between Machine Learning and the Philosophy of Science

inferred← citeshttps://doi.org/10.1023/b:synt.0000024888.19304.0fopenalex-snapshot

Theories of Space-Time in Modern Physics

inferred← citeshttps://doi.org/10.1075/hl.00077.nevopenalex-snapshot

A letter from Zellig Harris to Andre Lentin

inferred← citeshttps://doi.org/10.1080/0144534031000076237openalex-snapshot

Russell's 1903 - 1905 Anticipation of the Lambda Calculus

inferred← citeshttps://doi.org/10.1093/oso/9780198500735.003.0024openalex-snapshot

Textual notes

inferred← citeshttps://doi.org/10.1093/oso/9780198500759.003.0036openalex-snapshot

References

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.001.0001openalex-snapshot

Recursion

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0004openalex-snapshot

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0005openalex-snapshot

Dedication

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0007openalex-snapshot

General preface

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0008openalex-snapshot

Preface

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0010openalex-snapshot

List of figures and tables

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0011openalex-snapshot

List of abbreviations

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0012openalex-snapshot

Epigraph

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.002.0013openalex-snapshot

Postface

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0001openalex-snapshot

Putting up barriers

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0002openalex-snapshot

Preliminaries

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0003openalex-snapshot

Recursive generation in language

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0004openalex-snapshot

The derivations into the interfaces

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0005openalex-snapshot

The universality and uniqueness of recursion-in-language

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0006openalex-snapshot

On recursive parsing

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0007openalex-snapshot

Probing recursion

inferred← citeshttps://doi.org/10.1093/oso/9780198785156.003.0008openalex-snapshot

Putting it all together

inferred← citeshttps://doi.org/10.1108/978-1-83982-610-820211003openalex-snapshot

Transcending Engineering Practice: NOR on the Path from Transistor Technology to Universal Indeterminacy

inferred← citeshttps://doi.org/10.1109/cisis.2010.89openalex-snapshot

Foundations of Team Computing: Enabling End Users to Assemble Software for Ubiquitous Computing

inferred← citeshttps://doi.org/10.1145/1107523.1107537openalex-snapshot

SIGACT news logic column 14

inferred← citeshttps://doi.org/10.1145/1140612.1140627openalex-snapshot

SIGACT news logic column 15

inferred← citeshttps://doi.org/10.1145/2103786.2103797openalex-snapshot

Type systems for dummies

inferred← citeshttps://doi.org/10.1145/3331543.3342583openalex-snapshot

The sound of lambda

inferred← citeshttps://doi.org/10.14201/gredos.139586openalex-snapshot

Topics in Programming Languages, a Philosophical Analysis through the case of Prolog

inferred← citeshttps://doi.org/10.14264/171001openalex-snapshot

Theoretical Foundations for Practical ‘Totally Functional Programming’

inferred← citeshttps://doi.org/10.18178/wcse.2017.06.037openalex-snapshot

An analysis of computer programs using λ-calculus

inferred← citeshttps://doi.org/10.2178/bsl/1231081370openalex-snapshot

A Natural Axiomatization of Computability and Proof of Church's Thesis

inferred← citeshttps://doi.org/10.2307/j.ctv36xvknz.8openalex-snapshot

Efficient Interpretation by Transforming Data Types and Patterns to Functions

inferred← citeshttps://doi.org/10.3233/ao-2012-0113openalex-snapshot

A type-theoretical approach for ontologies: The case of roles

inferred← citeshttps://doi.org/10.34626/xszn-sj05openalex-snapshot

Operational semantics for linear languages

inferred← citeshttps://doi.org/10.48550/arxiv.1406.6706openalex-snapshot

Simple Type Theory with Undefinedness, Quotation, and Evaluation

inferred← citeshttps://doi.org/10.48550/arxiv.1912.03028openalex-snapshot

A Survey on Theorem Provers in Formal Methods

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0511025openalex-snapshot

Logic Column 14: Nominal Logic and Abstract Syntax

inferred← citeshttps://doi.org/10.5281/zenodo.1086118openalex-snapshot

Pattern Recognition Of Biological Signals

inferred← citeshttps://doi.org/10.5539/jmr.v2n4p157openalex-snapshot

Computability Via The Lambda Calculus with Patterns

inferred← citeshttps://doi.org/10.56526/10451/60109openalex-snapshot

Logic and computers: a sketch of their symbiotic relationships

inferred← citeshttps://doi.org/10.70675/a37dc4e6z2953z4b3bz84ebz71b3bc5bdadcopenalex-snapshot

Sur le pouvoir expressif des structures applicatives et monadiques indexées

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.