Book chapter From proof nets to interaction nets Cambridge University Press eBooks 1995 Read Paper From proof nets to interaction nets Yves Lafont Cambridge University Press eBooks 1995 and Knowledge and type systems Logic Logic, programming, and type systems
Journal article Interaction Combinators Information and Computation 1997 Read Paper Interaction Combinators Yves Lafont Information and Computation 1997 AI Algorithms and type systems Computability Computability, Logic, AI Algorithms
Other The Sketching Approach to Program Synthesis Lecture notes in computer science 2009 Read Paper The Sketching Approach to Program Synthesis Armando Solar-Lezama Lecture notes in computer science 2009 and type systems Embedded Systems Design Techniques Logic Logic, programming, and type systems