Results 251 to 258 of about 201,014 (258)
Some of the next articles are maybe not open access.
Symposium on Logical Foundations of Computer Science, 2021
G\"odel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to obtain the consistency of Peano arithmetic.
D. Trotta, M. Spadetto, V. D. Paiva
semanticscholar +1 more source
G\"odel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to obtain the consistency of Peano arithmetic.
D. Trotta, M. Spadetto, V. D. Paiva
semanticscholar +1 more source
arXiv.org
We examine the categorical structure of the Grothendieck construction $\Sigma_{\mathsf{C}}\mathsf{L}$ of an indexed category $\mathsf{L} \colon \mathsf{C}^{op} \to \mathsf{CAT}$.
Fernando Lucatelli Nunes +1 more
semanticscholar +1 more source
We examine the categorical structure of the Grothendieck construction $\Sigma_{\mathsf{C}}\mathsf{L}$ of an indexed category $\mathsf{L} \colon \mathsf{C}^{op} \to \mathsf{CAT}$.
Fernando Lucatelli Nunes +1 more
semanticscholar +1 more source
On a fibrational construction for optics, lenses, and Dialectica categories
Electronic Notes in Theoretical Informatics and Computer ScienceCategories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction, generalizing ...
Matteo Capucci +4 more
semanticscholar +1 more source
Logic in Computer Science
Automatic Differentiation is the study of the efficient computation of differentials. While the first automatic differentiation algorithms are concomitant with the birth of computer science, the specific backpropagation algorithm has been brought to a ...
M. Kerjean, Pierre-Marie Pédrot
semanticscholar +1 more source
Automatic Differentiation is the study of the efficient computation of differentials. While the first automatic differentiation algorithms are concomitant with the birth of computer science, the specific backpropagation algorithm has been brought to a ...
M. Kerjean, Pierre-Marie Pédrot
semanticscholar +1 more source
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
Theory and Applications of Categories, 2018Cheng, Gurski, and Riehl constructed a cyclic double multicategory of multivariable adjunctions. We show that the same information is carried by a double polycategory, in which opposite categories are polycategorical duals.
Michael Shulman
semanticscholar +1 more source
Quaderni urbinati di cultura classica
Fil: Mie, Fabian Gustavo. Universidad Nacional del Litoral; Argentina. Consejo Nacional de Investigaciones Cientificas y Tecnicas.
openaire +1 more source
Fil: Mie, Fabian Gustavo. Universidad Nacional del Litoral; Argentina. Consejo Nacional de Investigaciones Cientificas y Tecnicas.
openaire +1 more source
Re-dating Alcuin's De dialectica: or, did Alcuin teach at Lorsch?
Anglo-Saxon England, 2016Eva M. E. Rädler-Bohn
semanticscholar +1 more source
La palabra y la acción. Por una dialéctica de la liberación
, 2018Jesus Martin-barbero
semanticscholar +1 more source