Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D F G H K M N P S T W Z

B
Blaisdell, Eben	Associativity or Non-Associativity, Local or Global!
Blot, Valentin	An Implementation of Set Theory with Pointed Graphs in Dedukti
D
Dowek, Gilles	An Implementation of Set Theory with Pointed Graphs in Dedukti
F
Felty, Amy	Metatheory of Proto-Quipper in Hybrid: Context Relations Revisited
G
Gommerstadt, Hannah	Logics for Robotics
H
Harper, Robert	A (Logical) Framework for Collaboration
K
Kanovich, Max	Associativity or Non-Associativity, Local or Global!
Kuznetsov, Stepan	Associativity or Non-Associativity, Local or Global!
M
Martens, Chris	Language Minimalism and Logical Frameworks
Miller, Dale	A positive perspective on term representation: work in progress
N
Nadathur, Gopalan	Reasoning about Specifications in LF
P
Pientka, Brigitte	A modal analysis of dependently typed metaprogramming
Pimentel, Elaine	Associativity or Non-Associativity, Local or Global!
S
Scedrov, Andre	Associativity or Non-Associativity, Local or Global!
Simmons, Robert	Language Minimalism and Logical Frameworks
T
Traversié, Thomas	An Implementation of Set Theory with Pointed Graphs in Dedukti
W
Wu, Jui-Hsuan	A positive perspective on term representation: work in progress
Z
Zeilberger, Noam	Type refinement as a unifying principle