Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th MFPS 2022: Ithaca, NY, USA / Paris, France / Online
- Justin Hsu, Christine Tasson:
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022. EPTICS 1, EpiSciences 2022 - Henry DeYoung, Frank Pfenning:
Data Layout from a Type-Theoretic Perspective (extended version). - Vikraman Choudhury
, Marcelo Fiore:
Free Commutative Monoids in Homotopy Type Theory. - Alexandre Goy:
Weakening and Iterating Laws using String Diagrams. - Tao Gu, Robin Piedeleu, Fabio Zanasi:
A Complete Diagrammatic Calculus for Boolean Satisfiability. - Masahito Hasegawa:
The Internal Operads of Combinatory Algebras. - Willem Heijltjes:
The Functional Machine Calculus. - Jason Z. S. Hu, Brigitte Pientka:
A Categorical Normalization Proof for the Modal Lambda-Calculus. - Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich:
Extended Addressing Machines for PCF, with Explicit Substitutions. - Bart Jacobs:
Sufficient Statistics and Split Idempotents in Discrete Probability Theory. - James Laird:
Revisiting Decidable Bounded Quantification, via Dinaturality. - Paul-André Melliès, Noam Zeilberger:
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem. - Daniele Palombi, Jonathan Sterling:
Classifying topoi in synthetic guarded domain theory. - Hugo Paquet:
Bi-invariance for Uniform Strategies on Event Structures. - Mateusz Pyzik:
Call-By-Name Is Just Call-By-Value with Delimited Control. - Takahiro Sanada:
Category-Graded Algebraic Theories and Effect Handlers. - Ayberk Tosun, Martín Hötzel Escardó:
Patch Locale of a Spectral Locale in Univalent Type Theory. - Tomoya Yoshida:
Continuous Functions on Final Comodels of Free Algebraic Theories. - Stefan Zetzsche, Alexandra Silva, Matteo Sammartino:
Guarded Kleene Algebra with Tests: Automata Learning.
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-29 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
