The duality of computation under focus. (English)
Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20‒23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 165-181 (2010).
1
The duality of computation under focus. (English)
Comput. Res. Repos. 2010, Article No. 1006.2283 (2010).
2
The duality of computation under focus (English)
IFIP TCS, 165-181 (2010).
3
Focalisation and classical realisability. (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, 409-423 (2009).
4
Focalisation and classical realisability (English)
CSL, 409-423 (2009).
5
Start
Contact
Print
General Help
