Interaction systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_1 ◽

1994 ◽

pp. 1-19 ◽

Cited By ~ 2

Author(s):

Andrea Asperti ◽

Cosimo Laneve

Download Full-text