FSCD 2023: 8TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION 2023

A
Altenkirch, Thorsten	Combinatory logic and lambda calculus are equal, algebraically
B
Barenbaum, Pablo	Two Decreasing Measures for Simply Typed Lambda-Terms
Beffara, Emmanuel	Concurrent Realizability on Conjunctive Structures
Behr, Nicolas	Convolution Products on Double Categories and Categorification of Rule Algebras
Blondeau-Patissier, Lison	Strategies as Resource Terms, and their Categorical Semantics
Blot, Valentin	Diller-Nahm bar recursion
Bocquet, Rafaël	For the Metatheory of Type Theory, Internal Sconing Is Enough
Breuvart, Flavien	Unifying Graded Linear Logic and Differential Operators
C
Castro, Félix	Concurrent Realizability on Conjunctive Structures
Cerrito, Serenella	Partial model checking and partial model synthesis in LTL using a tableau-based approach
Clairambault, Pierre	Strategies as Resource Terms, and their Categorical Semantics
D
Dagnino, Francesco	Quotients and Extensionality in Relational Doctrines
Dal Lago, Ugo	On the Lattice of Program Metrics
Das, Anupam	Cyclic proofs for (arithmetical) inductive definitions
Di Guardia, Rémi	Type Isomorphisms for Multiplicative Additive Linear Logic
Dwyer Satterfield, Saraid	Knowledge Problems in Security Protocols: Going Beyond Subterm-Convergent Theories
E
Ehrhard, Thomas	The Sum-Product Algorithm for Quantitative Multiplicative Linear Logic
Erbatur, Serdar	Knowledge Problems in Security Protocols: Going Beyond Subterm-Convergent Theories
Espírito Santo, José	The logical essence of compiling with continuations
F
Faggian, Claudia	The Sum-Product Algorithm for Quantitative Multiplicative Linear Logic
Fernández, Maribel	Nominal Techniques for Software Specification and Verification
Frontull, Samuel	α-avoidance
G
Galmiche, Didier	Labelled Tableaux for Linear Time Bunched Implication Logic
Genet, Thomas	Automata-based verification of relational properties of functions over data structures
Ghica, Dan	Rewriting modulo traced comonoid structure
Goncharov, Sergey	Representing Guardedness in Call-by-Value
Goranko, Valentin	Partial model checking and partial model synthesis in LTL using a tableau-based approach
Guillermo, Mauricio	Concurrent Realizability on Conjunctive Structures
H
Hirokawa, Nao	Hydra Battles and AC Termination
Hoshino, Naohiko	On the Lattice of Program Metrics
I
Ivanov, Ievgen	Generalized Newman's Lemma for Discrete and Continuous Systems
J
Jamnik, Mateja	How Can We Make Trustworthy AI?
Jensen, Thomas	Automata-based verification of relational properties of functions over data structures
K
Kaposi, Ambrus	For the Metatheory of Type Theory, Internal Sconing Is Enough Combinatory logic and lambda calculus are equal, algebraically
Kaye, George	Rewriting modulo traced comonoid structure
Kerjean, Marie	Unifying Graded Linear Logic and Differential Operators
Kop, Cynthia	Cost-Size Semantics for Call-by-Value Higher-Order Rewriting
Kudasov, Nikolai	E-unification for Second-Order Abstract Syntax
L
Laird, James	Dinaturality meets genericity: a game semantics of bounded polymorphism.
Laurent, Olivier	Type Isomorphisms for Multiplicative Additive Linear Logic
Losekoot, Théo	Automata-based verification of relational properties of functions over data structures
M
Manzonetto, Giulio	A Lambda Calculus Satellite
Marshall, Andrew M.	Knowledge Problems in Security Protocols: Going Beyond Subterm-Convergent Theories
Melgaard, Lukas	Cyclic proofs for (arithmetical) inductive definitions
Melliès, Paul-André	Convolution Products on Double Categories and Categorification of Rule Algebras
Mendes, Filipa	The logical essence of compiling with continuations
Mery, Daniel	Labelled Tableaux for Linear Time Bunched Implication Logic
Middeldorp, Aart	Hydra Battles and AC Termination
Mimram, Samuel	Categorical coherence from term rewriting systems
Miquey, Étienne	Concurrent Realizability on Conjunctive Structures
Mirwasser, Simon	Unifying Graded Linear Logic and Differential Operators
Moser, Georg	α-avoidance
P
Pagani, Michele	The Sum-Product Algorithm for Quantitative Multiplicative Linear Logic
Paillocher, Sophie	Partial model checking and partial model synthesis in LTL using a tableau-based approach
Pasquali, Fabio	Quotients and Extensionality in Relational Doctrines
Pautasso, Daniele	A quantitative version of simple types
Pistone, Paolo	On the Lattice of Program Metrics
R
Ringeissen, Christophe	Knowledge Problems in Security Protocols: Going Beyond Subterm-Convergent Theories
Ronchi Della Rocca, Simona	A quantitative version of simple types
S
Sattler, Christian	For the Metatheory of Type Theory, Internal Sconing Is Enough
Sinkarovs, Artjoms	Combinatory logic and lambda calculus are equal, algebraically
Sottile, Cristian	Two Decreasing Measures for Simply Typed Lambda-Terms
U
Uemura, Taichi	Homotopy type theory as internal languages of diagrams of $\infty$-logoses
V
Vale, Deivid	Cost-Size Semantics for Call-by-Value Higher-Order Rewriting
van der Weide, Niels	The Formal Theory of Monads, Univalently
van Oostrom, Vincent	α-avoidance
Vaux Auclair, Lionel	Strategies as Resource Terms, and their Categorical Semantics
Végh, Tamás	Combinatory logic and lambda calculus are equal, algebraically
Y
Yamada, Akihisa	Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition
Z
Zeilberger, Noam	Convolution Products on Double Categories and Categorification of Rule Algebras

Disclaimer | Powered by EasyChair Smart Program