Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in lambda-calculus

Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?

haskell lambda-calculus

To prove SKK and II are beta equivalent, lambda calculus

functional-programming lambda-calculus proof-of-correctness k-combinator s-combinator

How to model the output of the binary lambda calculus?

haskell programming-languages interpreter lambda-calculus

How to represent sugared λ-terms in Haskell?

haskell racket lambda-calculus

How to substitute a variable in an expression in haskell?

haskell lambda-calculus

Is there simple way to extend simply typed lambda calculus with monad types?

haskell programming-languages monads lambda-calculus typed-lambda-calculus

convert flip lambda into SKI terms

lambda lambda-calculus combinators k-combinator s-combinator

How to encode in lambda calculus

haskell lambda semantics lambda-calculus

Fixed point of K combinator

lambda-calculus y-combinator fixpoint-combinators k-combinator

how to implement lambda-calculus in OCaml?

ocaml lambda-calculus

Haskell Lambda help - Splitting up terms from a lambda-term input

haskell functional-programming lambda-calculus

CLISP Lambda Calculus Div Implementation

lisp common-lisp lambda-calculus

How can I make Church numerals more human readable in lisp?

lambda lambda-calculus church-encoding

Debug: Couldn't match expected type ‘GHC.Types.Bool’ with actual type ‘Bool’

debugging haskell lambda case lambda-calculus
Older Entries »