Capture-avoiding substitution as a nominal algebra

M.J. Gabbay, A.H.J. Mathijssen

    Onderzoeksoutput: Boek/rapportRapportAcademic

    98 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEdinburgh
    UitgeverijHeriot-Watt University
    Aantal pagina's52
    StatusGepubliceerd - 2007

    Publicatie series

    NaamTechnical Report
    VolumeHW-MACS-TR-0053

    Citeer dit