Structured Communication-Centred Programming for Web Services, Programming Languages and Systems, pp.2-17, 2007. ,
DOI : 10.1007/978-3-540-71316-6_2
The Call-by-Need Lambda Calculus, Revisited, Seidl [18], pp.128-147, 2012. ,
DOI : 10.1007/978-3-642-28869-2_7
An Intensionally Fully-abstract Sheaf Model for ? *, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01609945
, 6th Conference on Algebra and Coalgebra in Computer Science Leibniz International Proceedings in Informatics (LIPIcs), pp.86-100, 2015.
A Posteriori Environment Analysis with Pushdown Delta CFA, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017. ,
Exploration of language specifications by compilation to first-order logic, Science of Computer Programming, vol.155, pp.146-172, 2018. ,
DOI : 10.1016/j.scico.2017.08.001
Introduction to Automata Theory, Languages , and Computation, 2006. ,
Reasoning About Multi-stage Programs, 2012. ,
, Mathematical Markup Language (MathML) Version 2.0. W3C Recommendation, W3C. Https, 2001.
, Information technology ? Open Document Format for Office Applications (OpenDocument) v1.2 ? Part 1: OpenDocument Schema. Standard, International Organization for Standardization, 2015.
Computerising Mathematical Text editor: Computational Logic, Handbook of the History of Logic 9, North-Holland, pp.343-396, 2014. ,
The TeXbook, 1986. ,
, Testing semantics for unbounded nondeterminism, Euro-Par'97 Parallel Processing, pp.538-545, 1997.
Notes on Set Theory, 1 edition. 0172-6056 978-1-4757-4153-7, pp.10-1007, 1994. ,
Zur Einführung der transfiniten Zahlen, Acta Scientiarum Mathematicarum (Szeged), vol.1, issue.4, pp.199-208, 1923. ,
, , 2002.
Types and Programming Languages, 2002. ,
Bar induction: The good, the bad, and the ugly, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.1-12, 2017. ,
DOI : 10.1109/LICS.2017.8005074
Theories of Programming Languages, 2009. ,
, Programming Languages and Systems, 2012.
Ott, ACM SIGPLAN Notices, vol.42, issue.9, pp.1-12, 2007. ,
DOI : 10.1145/1291220.1291155
It's Time for a New Old Language, Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '17, pp.1-1, 2017. ,
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
DOI : 10.2140/pjm.1955.5.285
A Meta Lambda Calculus with Cross-Level Computation, POPL '15, pp.383-393, 2015. ,
Computing in Cantor???s Paradise with ?? ZFC, Functional and Logic Programming, pp.290-306, 2012. ,
DOI : 10.1007/978-3-642-29822-6_23
A Simplification of the Logic of Relations, Proceedings of Cambridge Philosophical Society 17 Nachgedruckt in GlossarWiki:Heijenoort, pp.387-390, 1914. ,