×

Found 6 Documents (Results 1–6)

100
MathJax

On modular properties of higher order extensional lambda calculi. (English) Zbl 1401.03040

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 237-247 (1997).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

Year of Publication

Classification

all top 3

Software