Lambda-term evalution
: a calculational approach

  • A.J. Besjis

Scriptie/Masterproef: Master

Datum prijs31 aug. 2009
Originele taalEngels
BegeleiderR.R. Hoogerwoord (Afstudeerdocent 1)

Citeer dit

'