FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
Adjoint logic	Associativity or Non-Associativity, Local or Global!
D
Dedukti	An Implementation of Set Theory with Pointed Graphs in Dedukti
F
Focused proof systems	A positive perspective on term representation: work in progress
Frank Pfenning	Associativity or Non-Associativity, Local or Global! A (Logical) Framework for Collaboration Language Minimalism and Logical Frameworks Type refinement as a unifying principle Logics for Robotics
L
lambda-pi calculus modulo theory	An Implementation of Set Theory with Pointed Graphs in Dedukti
language minimalism	Language Minimalism and Logical Frameworks
LF	Reasoning about Specifications in LF
linear logic	Associativity or Non-Associativity, Local or Global!
Local associativity	Associativity or Non-Associativity, Local or Global!
logical frameworks	A (Logical) Framework for Collaboration Language Minimalism and Logical Frameworks
M
Meta-theory	Reasoning about Specifications in LF
S
set theory	An Implementation of Set Theory with Pointed Graphs in Dedukti
Sharing	A positive perspective on term representation: work in progress
special session	A (Logical) Framework for Collaboration Type refinement as a unifying principle Logics for Robotics
Subexponentials	Associativity or Non-Associativity, Local or Global!
T
TBA	Logics for Robotics
TBA1	Metatheory of Proto-Quipper in Hybrid: Context Relations Revisited A modal analysis of dependently typed metaprogramming
TBA2	Metatheory of Proto-Quipper in Hybrid: Context Relations Revisited A modal analysis of dependently typed metaprogramming
TBA3	Metatheory of Proto-Quipper in Hybrid: Context Relations Revisited A modal analysis of dependently typed metaprogramming
Term representation	A positive perspective on term representation: work in progress
Two-level approach	Reasoning about Specifications in LF
type refinement	Type refinement as a unifying principle

Disclaimer | Powered by EasyChair Smart Program