×

Found 3 Documents (Results 1–3)

Initiality for typed syntax and semantics. (English) Zbl 1362.68040

Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 127-141 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software