Zobrazeno 1 - 10
of 960
pro vyhledávání: '"Krivine, A."'
Autor:
Krivine, Jean-Louis
A remark on the proof that the Grothendieck constant satisfies $K_G < \pi/(2\ln(1+\sqrt{2}))$.
Externí odkaz:
http://arxiv.org/abs/2306.00995
A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce and intrinsically structure the large collection of lemmata used in the proofs of theorems s
Externí odkaz:
http://arxiv.org/abs/2204.07175
The Kappa biochemistry and the M{\O}D organic chemistry frameworks are amongst the most intensely developed applications of rewriting-based methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity
Externí odkaz:
http://arxiv.org/abs/2106.02573
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no construction of a suitable concurrency theorem was available. The lack of s
Externí odkaz:
http://arxiv.org/abs/2105.02842
Autor:
Krivine, Jean-Louis
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 3 (September 1, 2021) lmcs:6549
The theory of classical realizability is a framework for the Curry-Howard correspondence which enables to associate a program with each proof in Zermelo-Fraenkel set theory. But, almost all the applications of mathematics in physics, probability, sta
Externí odkaz:
http://arxiv.org/abs/2006.05433
Autor:
Behr, Nicolas, Krivine, Jean
The Kappa biochemistry and the M{\O}D organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the neces
Externí odkaz:
http://arxiv.org/abs/2003.09395
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2023 135
Autor:
Krivine, Jean-Paul
Publikováno v:
Science & Pseudo-Sciences. apr-jun2024, Issue 348, p101-106. 6p.
Autor:
Krivine, Jean-Paul
Publikováno v:
Science & Pseudo-Sciences. apr-jun2024, Issue 348, p47-50. 4p.
Autor:
Krivine, Jean-Paul
Publikováno v:
Science & Pseudo-Sciences. apr-jun2024, Issue 348, p4-9. 6p.