Nr. 49 (1995): RS-49 Solving Equations in the lambda-Calculus using Syntactic Encapsulation

Publiceret: 1995-09-19

Artikler