|
gptkbp:instanceOf
|
formal semantics
|
|
gptkbp:field
|
gptkb:logic
computer science
|
|
gptkbp:hasConcept
|
gptkb:syntax
gptkb:Church_encoding
alpha conversion
beta reduction
bound variable
free variable
function application
normal form
reduction
eta conversion
fixed-point combinator
function abstraction
Y combinator
|
|
gptkbp:hasVariant
|
gptkb:polymorphic_lambda_calculus
gptkb:simply_typed_lambda_calculus
gptkb:untyped_lambda_calculus
typed lambda calculus
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lambda calculus
|
|
gptkbp:influenced
|
gptkb:logic
functional programming
theory of programming languages
|
|
gptkbp:introducedIn
|
1930s
|
|
gptkbp:inventedBy
|
gptkb:Alonzo_Church
|
|
gptkbp:isFoundationFor
|
gptkb:Lisp
gptkb:Agda
gptkb:Clojure
gptkb:Coq
gptkb:Elm
gptkb:F#
gptkb:Haskell
gptkb:OCaml
gptkb:PureScript
gptkb:Purescript
gptkb:ReasonML
gptkb:Scheme
gptkb:Plutus
gptkb:Idris
gptkb:Scala
gptkb:Nix
gptkb:Frege
gptkb:Futhark
gptkb:LambdaProlog
gptkb:Typed_Ada
gptkb:Typed_Arc
gptkb:Typed_Bigloo
gptkb:Typed_Carp
gptkb:Typed_Chez_Scheme
gptkb:Typed_Chibi_Scheme
gptkb:Typed_Chicken_Scheme
gptkb:Typed_Clojure
gptkb:Typed_ClojureScript
gptkb:Typed_Common_Lisp
gptkb:Typed_Crystal
gptkb:Typed_Dart
gptkb:Typed_Elixir
gptkb:Typed_Emacs_Lisp
gptkb:Typed_Erlang
gptkb:Typed_Forth
gptkb:Typed_Fortran
gptkb:Typed_Gambit_Scheme
gptkb:Typed_Go
gptkb:Typed_Guile
gptkb:Typed_Guile_Scheme
gptkb:Typed_Hy
gptkb:Typed_JavaScript
gptkb:Typed_Julia
gptkb:Typed_Kawa
gptkb:Typed_Kotlin
gptkb:Typed_Lisp
gptkb:Typed_Lua
gptkb:Typed_MIT_Scheme
gptkb:Typed_Mercury
gptkb:Typed_Nim
gptkb:Typed_PHP
gptkb:Typed_Perl
gptkb:Typed_PicoLisp
gptkb:Typed_Python
gptkb:Typed_R6RS
gptkb:Typed_R7RS
gptkb:Typed_Racket
gptkb:Typed_RacketScript
gptkb:Typed_Ruby
gptkb:Typed_Rust
gptkb:Typed_Scheme
gptkb:Typed_Shen
gptkb:Typed_Swift
gptkb:Typed_Tcl
gptkb:Typed_V
gptkb:Typed_Zig
ML
Unison
functional programming languages
Typed Assembly
Typed Bash
Typed C
Typed C#
Typed C++
Typed COBOL
Typed D
Typed Delphi
Typed Janet
Typed Maple
Typed Mathematica
Typed Matlab
Typed Maxima
Typed Objective-C
Typed Octave
Typed Pascal
Typed PowerShell
Typed Prolog
Typed R
Typed Sage
Typed Smalltalk
Typed Typed RacketScript
Typed Visual Basic
|
|
gptkbp:notation
|
gptkb:mobile_application
lambda abstraction
variable binding
|
|
gptkbp:purpose
|
study of computation
|
|
gptkbp:relatedTo
|
Technical Machine
recursion theory
combinatory logic
|
|
gptkbp:bfsParent
|
gptkb:Lisp_programming_language
gptkb:Guy_Lewis_Steele_Jr.
gptkb:Scheme_(programming_language)
gptkb:Higher-order_logic
|
|
gptkbp:bfsLayer
|
5
|