Pages that link to "Item:Q1314352"

The following pages link to General recursive functions in a very simply interpretable typed \(\lambda\)-calculus (Q1314352):

Displaying 10 items.

• Ordinals and ordinal functions representable in the simply typed lambda calculus (Q1302304) (← links)
• \({\mathcal M}^\omega\) considered as a programming language (Q1304541) (← links)
• Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← links)
• A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
• \(\mathsf{CoreFun}\): a typed functional reversible core language (Q1796398) (← links)
• Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
• A class of bounded functions, a database language and an extended lambda calculus (Q2402281) (← links)
• Typed λ-calculus with recursive definitions (Q2757815) (← links)
• General recursion on second order term algebras (Q2778868) (← links)
• Membrane Computing (Q5316622) (← links)