Pages that link to "Template:Foundations infobox"

The following pages link to Template:Foundations infobox:

Displayed 11 items.

• Turing machine (transclusion) ‎ (← links)
• Category theory (transclusion) ‎ (← links)
• Relational algebra (transclusion) ‎ (← links)
• Curry-Howard-Lambek correspondence (transclusion) ‎ (← links)
• Alpha conversion (transclusion) ‎ (← links)
• Beta reduction (transclusion) ‎ (← links)
• Eta conversion (transclusion) ‎ (← links)
• Lambda abstraction (transclusion) ‎ (← links)
• Lambda calculus (transclusion) ‎ (← links)
• Descriptions of Turing machines inspired by combinatory logic (transclusion) ‎ (← links)
• User:BrettGiles (transclusion) ‎ (← links)