Equational Systems for Category Theoryand Intuitionistic Logic." Invited Lecture, 1st Conference in Rewriting Techniques and Applications,Dijon (1985)

by G Huet
Venue:in the conference proceedings.) [30] Huet, G., Intuitionistic Higher-Order Natural Deduction as a Programming Methodology. LectureNotes, AI Program, Microelectronics and Computer Technology