## Found 4 Documents (Results 1–4)

100
MathJax

MSC:  03B40
Full Text:

### Unification for $$\lambda$$-calculi without propagation rules. (English)Zbl 1482.68080

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 179-195 (2016).
MSC:  68N18 03B40
Full Text:

### Classical by-need. (English)Zbl 1335.68034

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 616-643 (2016).
Full Text:

MSC:  03B40
Full Text: