Nr. 35 (2001): RS-35 A General Schema for Constructing One-Point Bases in the Lambda Calculus

Publiceret: 2001-09-05

Artikler