Result 1 to 10 of 10 total
Strong normalization of $\mathsf{ML}^{\mathsf F}$ via a calculus of coercions. (English)
Theor. Comput. Sci. 417, 74-94 (2012).
1
Intuitionistic differential nets and lambda-calculus. (English)
Theor. Comput. Sci. 412, No. 20, 1979-1997 (2011).
2
Harnessing ML$^{F}$ with the power of system F. (English)
Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23‒27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 525-536 (2010).
3
Harnessing $ML^{F}$ with the power of system F (English)
MFCS, 525-536 (2010).
4
Parallel reduction in resource lambda-calculus. (English)
Hu, Zhenjiang (ed.), Programming languages and systems. 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14‒16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10671-2/pbk). Lecture Notes in Computer Science 5904, 226-242 (2009).
5
Confluence of pure differential nets with promotion. (English)
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7‒11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 500-514 (2009).
6
Parallel reduction in resource lambda-calculus (English)
APLAS, 226-242 (2009).
7
Confluence of pure differential nets with promotion (English)
CSL, 500-514 (2009).
8
A characterization of hypercoherent semantic correctness in multiplicative additive linear logic. (English)
Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16‒19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 246-261 (2008).
9
A characterization of hypercoherent semantic correctness in multiplicative additive linear logic (English)
CSL, 246-261 (2008).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
