×

Found 2 Documents (Results 1–2)

The \(\lambda\)-context calculus. (English) Zbl 1278.03036

Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008).
MSC:  03B40 03B70
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field