Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Lambda calculus definition (view), Simply typed lambda calculus (view), Typed lambda calculus (view), Knights of the Lambda Calculus (view)

searching for Lambda calculus 33 found (676 total)

alternate case: lambda calculus

Binary combinatory logic (435 words) [view diff] case mismatch in snippet view article find links to article

2023). "Functional Bits: Lambda Calculus based Algorithmic Information Theory" (PDF). tromp.github.io. John's Lambda Calculus and Combinatory Logic Playground

John Tromp (205 words) [view diff] exact match in snippet view article find links to article

combinatory logic (Binary lambda calculus) [citation needed] and lambda diagrams that supply a graphical way of representing lambda calculus expressions. Shotwell

Esoteric programming language (2,852 words) [view diff] exact match in snippet view article find links to article

being Befunge-93, named as such because of its release year. Binary lambda calculus is designed from an algorithmic information theory perspective to allow

List of PSPACE-complete problems (1,807 words) [view diff] exact match in snippet view article find links to article

satisfiability and model checking Type inhabitation problem for simply typed lambda calculus Integer circuit evaluation Word problem for linear bounded automata

Logical framework (965 words) [view diff] exact match in snippet view article find links to article

treatment of syntax, rules and proofs by means of a dependently typed lambda calculus. Syntax is treated in a style similar to, but more general than Per

AI Memo (258 words) [view diff] case mismatch in snippet view article find links to article

Lambda Papers: AI Memo 349 (1975), "Scheme: An Interpreter for Extended Lambda Calculus" AI Memo 353 (1976), "Lambda: The Ultimate Imperative" AI Memo 379

John C. Reynolds (614 words) [view diff] exact match in snippet view article find links to article

especially concerning formal semantics. He invented the polymorphic lambda calculus (System F) and formulated the property of semantic parametricity; the

Polymorphism (computer science) (1,862 words) [view diff] exact match in snippet view article

this notion of polymorphism as an extension to lambda calculus (called the polymorphic lambda calculus or System F). Any parametrically polymorphic function

SIGPLAN (2,677 words) [view diff] no match in snippet view article find links to article

Cardelli 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions by Mads Tofte and Jean-Pierre Talpin 2003

Dialgebra (275 words) [view diff] exact match in snippet view article find links to article

doi:10.1051/ita:1999126. MR 1748664. Hagino, Tatsuya (1987). "A typed lambda calculus with categorical type constructors". In Pitt, David H.; Poigné, Axel;

Mads Tofte (612 words) [view diff] no match in snippet view article find links to article

Tofte and J.-P. Talpin: Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, In Proceedings of POPL 1994 P.H. Eidorff

Object model (602 words) [view diff] exact match in snippet view article find links to article

ISBN 0-201-89542-0. Fisher, K.; Honsell, F.; Mitchell, J.C. (1994). "A lambda calculus of objects and method specialization" (PDF). [1993] Proceedings Eighth

No instruction set computing (917 words) [view diff] no match in snippet view article find links to article

purely applicative engine - the sole operation of application (no lambda-calculus that is a particular case of quasi-applicative systems with two operations :

The Annotated Turing (276 words) [view diff] case mismatch in snippet view article find links to article

13: Computable Functions Chapter 14: The Major Proof Chapter 15: The Lambda Calculus Chapter 16: Conceiving the Continuum Part IV. And Beyond Chapter 17:

Scott continuity (753 words) [view diff] case mismatch in snippet view article find links to article

S2CID 6774320. Retrieved October 8, 2010. Barendregt, H.P. (1984). The Lambda Calculus. North-Holland. ISBN 978-0-444-87508-2. (See theorems 1.2.13, 1.2.14)

Nicolaas Govert de Bruijn (708 words) [view diff] exact match in snippet view article find links to article

demonstration. Springer Berlin Heidelberg, 1970. de Bruijn, Nicolaas Govert. "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation

Symposium on Logic in Computer Science (670 words) [view diff] no match in snippet view article find links to article

"The existence of refinement mappings" Eugenio Moggi, "Computational lambda-calculus and monads" Rajeev Alur, Costas Courcoubetis, David L. Dill, "Model-checking

Congruence relation (1,749 words) [view diff] case mismatch in snippet view article find links to article

(1975), p. v Barendregt, Henk (1990). "Functional Programming and Lambda Calculus". In Jan van Leeuwen (ed.). Formal Models and Semantics. Handbook of

Empty type (260 words) [view diff] exact match in snippet view article find links to article

J. C.; Moggi, E.; Statman, R. (1987). "Empty types in polymorphic lambda calculus". Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles

Observational equivalence (392 words) [view diff] exact match in snippet view article find links to article

arXiv:1907.01257 [cs.PL]. Morris, James (1969). Programming languages and lambda calculus (Thesis). Massachusetts Institute of Technology. pp. 49–53. hdl:1721

Complete partial order (1,428 words) [view diff] exact match in snippet view article find links to article

"Markowsky or Cohn?". Retrieved January 6, 2024. Barendregt, Henk, The lambda calculus, its syntax and semantics Archived 2004-08-23 at the Wayback Machine

Jan Willem Klop (593 words) [view diff] case mismatch in snippet view article find links to article

Venanzio Capretta; Milad Niqui (eds.). Reflections on Type Theory, Lambda Calculus, and the Mind — Essays Dedicated to Henk Barendregt on the Occasion

Arnon Avron (541 words) [view diff] exact match in snippet view article find links to article

Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). "Using typed lambda calculus to implement formal systems on a machine". Journal of Automated Reasoning

Jan Willem Klop (593 words) [view diff] case mismatch in snippet view article find links to article

Venanzio Capretta; Milad Niqui (eds.). Reflections on Type Theory, Lambda Calculus, and the Mind — Essays Dedicated to Henk Barendregt on the Occasion

Kleene Award (126 words) [view diff] case mismatch in snippet view article find links to article

General Notion of Realizability" 2001 Kazushige Terui "Light Affine Lambda Calculus and Polytime Strong Normalization" 2001 Frédéric Blanqui "Definitions

Abstract machine (2,698 words) [view diff] case mismatch in snippet view article find links to article

Systems, Vol. 16(7), Elsevier, 2000. Werner Kluge (2006). Abstract Computing Machines: A Lambda Calculus Perspective. Springer. ISBN 978-3-540-27359-2.

Rice's theorem (1,712 words) [view diff] exact match in snippet view article find links to article

Rice's theorem Scott–Curry theorem, an analogue to Rice's theorem in lambda calculus Turing's proof Hopcroft, John E.; Ullman, Jeffrey D. (1979), Introduction

Proof assistant (1,206 words) [view diff] exact match in snippet view article find links to article

and ETPS – Interactive theorem provers also based on simply typed lambda calculus, but based on an independent formulation of the logical theory and

Ordinal analysis (4,962 words) [view diff] exact match in snippet view article find links to article

{\displaystyle \lambda 2} is System F, also polymorphic lambda calculus or second-order lambda calculus. Constructive set theory C Z F {\displaystyle {\mathsf

Ouroboros (4,010 words) [view diff] exact match in snippet view article find links to article

synthetic view of metabolism, hyper set theory and, importantly, untyped lambda calculus. ... We envision that the ideas behind this equation, a unique kind

List of programmers (3,764 words) [view diff] exact match in snippet view article find links to article

defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda calculus, relational parametricity, separation logic, ALGOL Reinder van de Riet

Randomized algorithm (4,218 words) [view diff] case mismatch in snippet view article find links to article

Algorithms, pp. 91–122. Dirk Draheim. "Semantics of the Probabilistic Typed Lambda Calculus (Markov Chain Semantics, Termination Behavior, and Denotational Semantics)

Intersection type (2,394 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-3-642-29484-6. Henk Barendregt; Wil Dekkers; Richard Statman (20 June 2013). Lambda Calculus with Types. Cambridge University Press. pp. 1–. ISBN 978-0-521-76614-2