Parameters in pure type systems

T.D.L. Laan, R. Bloo, F. Kamareddine, R.P. Nederpelt

    Onderzoeksoutput: Boek/rapportRapportAcademic

    119 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's41
    StatusGepubliceerd - 2000

    Publicatie series

    NaamComputing science reports
    Volume0018
    ISSN van geprinte versie0926-4515

    Citeer dit