Journal article

Interaction Combinators

Yves Lafont

Venue

Information and Computation

Published

1997-08-01

DOI

10.1006/inco.1997.2643

• AI Algorithms
• and type systems
• Computability
• Computability, Logic, AI Algorithms
• Distributed systems and fault tolerance
• Logic
• Logic, programming, and type systems
• programming