Pages that link to "Item:Q1208425"

The following pages link to A system at the cross-roads of functional and logic programming (Q1208425):

Displaying 3 items.

• A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
• A type free theory and collective/distributive predication (Q1903083) (← links)
• An untyped higher order logic with Y combinator (Q5444708) (← links)