New-HOPLA

MaRDI QIDQ19055swMATHFDO

Official website http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-589.pdf

Cited in

(3)

• Nominal Domain Theory for Concurrency
• HOPLA
• Elements of a theory of algebraic theories

This page was built for software: New-HOPLA