海量图书期刊资源,随时随地畅享阅读乐趣
Conditional linearizationR.C. de Vrijer · 1999
Unique normal forms for lambda calculus with surjective pairingJ.W. Klop; R.C. de Vrijer · 1989