×

Found 11 Documents (Results 1–11)

Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. (English) Zbl 1213.68027

Lecture Notes in Computer Science 6602. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). xiv, 501 p. (2011).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Existence and uniqueness of normal forms in pure type systems with \(\beta\eta\)-conversion. (English) Zbl 0933.03008

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 241-259 (1999).
MSC:  03B40 68Q42
PDFBibTeX XMLCite

Expanding the cube. (English) Zbl 0932.03013

Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 90-103 (1999).
MSC:  03B40 68Q42
PDFBibTeX XMLCite

The relevance of proof-irrelevance. A meta-theoretical study of generalised calculi of constructions. (English) Zbl 0914.03016

Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 755-768 (1998).
PDFBibTeX XMLCite

Extensions of pure type system. (English) Zbl 1063.03508

Dezani-Ciancaglini, Mariangiola (ed.) et al., Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10-12, 1995. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-59048-X). Lect. Notes Comput. Sci. 902, 16-31 (1995).
MSC:  03B40
PDFBibTeX XMLCite

Filter Results by …

Document Type

Author

all top 5

Year of Publication

Main Field

all top 3

Software