DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development) Public Deposited

Creator
Identifier
  • https://doi.org/10.6083/nz805z975
Publication Date
  • 2000
Document type
Rights
License

Items