M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Programming Languages and Systems, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2

S. Chang and &. Felleisen, The Call-by-Need Lambda Calculus, Revisited, Seidl [18], pp.128-147, 2012.
DOI : 10.1007/978-3-642-28869-2_7

C. Eberhart, T. Hirschowitz, and &. Seiller, 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.

K. Germane and &. Matthew-might, A Posteriori Environment Analysis with Pushdown Delta CFA, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017.

S. Grewe, S. Erdweg, A. Pacak, M. , and M. Mezini, 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

J. E. Hopcroft, R. Motwani, &. Jeffrey, and D. Ullman, Introduction to Automata Theory, Languages , and Computation, 2006.

J. Inoue and &. Taha, Reasoning About Multi-stage Programs, 2012.

D. Patrick, N. Ion, D. Poppelier, &. Carlisle, R. Robert et al., 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.

F. Kamareddine, J. Wells, C. Zengler, and &. Barendregt, Computerising Mathematical Text editor: Computational Logic, Handbook of the History of Logic 9, North-Holland, pp.343-396, 2014.

E. Donald and . Knuth, The TeXbook, 1986.

, Testing semantics for unbounded nondeterminism, Euro-Par'97 Parallel Processing, pp.538-545, 1997.

Y. Moschovakis, Notes on Set Theory, 1 edition. 0172-6056 978-1-4757-4153-7, pp.10-1007, 1994.

. John-von-neumann, Zur Einführung der transfiniten Zahlen, Acta Scientiarum Mathematicarum (Szeged), vol.1, issue.4, pp.199-208, 1923.

A. Englisch-nachgedruckt-in-glossarwiki, , 2002.

C. Benjamin and . Pierce, Types and Programming Languages, 2002.

V. Rahli, M. Bickford, and &. L. Constable, 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

C. John and . Reynolds, Theories of Programming Languages, 2009.

, Programming Languages and Systems, 2012.

P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge et al., Ott, ACM SIGPLAN Notices, vol.42, issue.9, pp.1-12, 2007.
DOI : 10.1145/1291220.1291155

L. Guy and J. Steele, 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. Tarski, 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

K. Tobisawa, A Meta Lambda Calculus with Cross-Level Computation, POPL '15, pp.383-393, 2015.

N. Toronto and &. Mccarthy, Computing in Cantor???s Paradise with ?? ZFC, Functional and Logic Programming, pp.290-306, 2012.
DOI : 10.1007/978-3-642-29822-6_23

N. Wiener, A Simplification of the Logic of Relations, Proceedings of Cambridge Philosophical Society 17 Nachgedruckt in GlossarWiki:Heijenoort, pp.387-390, 1914.