A proof assistant based on terms with binding structures

  • F.A.M. Smeijers

Scriptie/Masterproef: Master

Datum prijs31 aug. 2009
Originele taalEngels
BegeleiderC. Hemerik (Afstudeerdocent 1) & M.G.J. Franssen (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 389 KB

    Type: Scriptie

'