FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alves, Sandra	A Unifying Framework for Type Inhabitation
Aoto, Takahito	Confluence Competition 2018
Ayala-Rincon, Mauricio	Fixed-Point Constraints for Nominal Equational Unification
B
Bahr, Patrick	Strict Ideal Completions of the Lambda Calculus
Barendregt, Henk	Corrado Böhm: the white magician in programming and its semantics
Baumgartner, Alexander	Term-Graph Anti-Unification
Bellin, Gianluigi	Proof nets for bi-intuitionistic linear logic
Bendkowski, Maciej	Counting Environments and Closures
Broda, Sabine	A Unifying Framework for Type Inhabitation
C
Cerna, David	Higher-Order Equational Pattern Anti-Unification
Czajka, Łukasz	Term rewriting characterisation of LOGSPACE for finite and infinite data
D
de Felice, Giovanni	A diagrammatic axiomatisation of fermionic quantum circuits
Delaune, Stephanie	Analysing privacy-type properties in cryptographic protocols
E
Endrullis, Joerg	Decreasing diagrams with two labels are complete for confluence of countable systems
F
Fernandez, Maribel	Fixed-Point Constraints for Nominal Equational Unification
Forest, Simon	Coherence of Gray categories via rewriting
G
Genet, Thomas	Completeness of Tree Automata Completion
H
Hadzihasanovic, Amar	A diagrammatic axiomatisation of fermionic quantum circuits
Hamana, Makoto	Confluence Competition 2018
Heijltjes, Willem	Proof nets for bi-intuitionistic linear logic
Hirokawa, Nao	Confluence Competition 2018
I
Ikebuchi, Mirai	On repetitive right application of B-terms
J
Jacob-Rao, Rohan	Index-Stratified Types
K
Kaposi, Ambrus	A Syntax for Higher Inductive-Inductive Types
Klop, Jan Willem	Decreasing diagrams with two labels are complete for confluence of countable systems
Kohl, Christina	ProTeM: A Proof Term Manipulator
Kovács, András	A Syntax for Higher Inductive-Inductive Types
Kutsia, Temur	Term-Graph Anti-Unification Higher-Order Equational Pattern Anti-Unification
L
Lemay, Jean-Simon	Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories
Lescanne, Pierre	Counting Environments and Closures
Levy, Jordi	Term-Graph Anti-Unification
Licata, Daniel	Call-by-name Gradual Type Theory Internal Universes in Models of Homotopy Type Theory
M
Maeda, Yuya	Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems
Mannaa, Bassel	The clocks they are adjunctions. Denotational semantics for Clocked Type Theory
Micali, Silvio	ALGORAND A Truly Distributed Ledger
Middeldorp, Aart	Completion for Logically Constrained Rewriting ProTeM: A Proof Term Manipulator Confluence Competition 2018
Mimram, Samuel	Coherence of Gray categories via rewriting
Møgelberg, Rasmus	The clocks they are adjunctions. Denotational semantics for Clocked Type Theory
N
Nagele, Julian	Confluence Competition 2018
Nakano, Keisuke	On repetitive right application of B-terms
Nantes-Sobrinho, Daniele	Fixed-Point Constraints for Nominal Equational Unification
New, Max	Call-by-name Gradual Type Theory
Ng, Kang Feng	A diagrammatic axiomatisation of fermionic quantum circuits
Nguyễn, Lê Thành Dũng	Unique perfect matchings and proof nets
Nirina, Andrianarivelo	Confluence of Prefix-Constrained Rewrite Systems
Nishida, Naoki	Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems Confluence Competition 2018
O
Orton, Ian	Internal Universes in Models of Homotopy Type Theory
Overbeek, Roy	Decreasing diagrams with two labels are complete for confluence of countable systems
P
Parys, Paweł	Homogeneity without Loss of Generality
Pientka, Brigitte	Index-Stratified Types
Pitts, Andrew M.	Internal Universes in Models of Homotopy Type Theory
R
Rety, Pierre	Confluence of Prefix-Constrained Rewrite Systems
Rosu, Grigore	Formal Design, Implementation and Verification of Blockchain Languages
S
Sabel, David	Nominal Unification with Atom and Context Variables
Schmidt-Schauss, Manfred	Nominal Unification with Atom and Context Variables
Selinger, Peter	Challenges in quantum programming languages
Shintani, Kiraku	Confluence Competition 2018
Sozeau, Matthieu	Cumulative Inductive Types in Coq
Spitters, Bas	Internal Universes in Models of Homotopy Type Theory
T
Thibodeau, David	Index-Stratified Types
Timany, Amin	Cumulative Inductive Types in Coq
V
Vignudelli, Valeria	Proof techniques for program equivalence in probabilistic higher-order languages
Villaret, Mateu	Term-Graph Anti-Unification
W
Winkler, Sarah	Completion for Logically Constrained Rewriting
Z
Zankl, Harald	Confluence Competition 2018

Disclaimer | Powered by EasyChair Smart Program