A system at the cross-roads of functional and logic programming

DOI10.1016/0167-6423(92)90037-CzbMath0779.68011OpenAlexW2157002568MaRDI QIDQ1208425

Fairouz Kamareddine

Publication date: 16 May 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(92)90037-c

zbMATH Keywords

polymorphismlogical foundationsLambda-calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (3)

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

This page was built for publication: A system at the cross-roads of functional and logic programming