Find link

language:

Find link is a tool written by Edward Betts.

searching for Simply typed lambda calculus 5 found (61 total)

alternate case: simply typed lambda calculus

Anti-unification (3,058 words) [view diff] exact match in snippet view article find links to article

Software. Simply typed lambda calculus (Input: Terms in the eta-long beta-normal form. Output: Various fragments of the simply typed lambda calculus including

Calculus of constructions (1,438 words) [view diff] exact match in snippet view article find links to article

isomorphism. The Curry–Howard isomorphism associates a term in the simply typed lambda calculus with each natural-deduction proof in intuitionistic propositional

Kappa calculus (1,771 words) [view diff] exact match in snippet view article find links to article

hypothetical judgments in order to ease comparison with the simply typed lambda calculus. This requires the additional Var rule, which does not appear

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

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

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