FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
approximation theorem	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility
C
Catalan numbers	Combinatorics of explicit substitutions (extended abstract)
Combinatorics	Combinatorics of explicit substitutions (extended abstract)
D
denotational semantics	The next 700 (type-theoretical) denotational models ? Refining Properties of Filter Models: Sensibility, Approximability and Reducibility
E
explicit substitution	Combinatorics of explicit substitutions (extended abstract)
F
filter models	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility
H
higher-order operads	The next 700 (type-theoretical) denotational models ?
higher-order rewriting	Orthogonality and sequentiality in substructural Linear HRSs
L
lambda calculus	Orthogonality and sequentiality in substructural Linear HRSs
lambda-calculus	Normalization and Taylor expansion of lambda-terms
linear logic	Orthogonality and sequentiality in substructural Linear HRSs Normalization and Taylor expansion of lambda-terms
N
Normalization	Normalization and Taylor expansion of lambda-terms
R
random generation	Combinatorics of explicit substitutions (extended abstract)
realisability	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility
S
sensibility	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility
T
Taylor expansion of lambda-terms	Normalization and Taylor expansion of lambda-terms
term rewriting	Orthogonality and sequentiality in substructural Linear HRSs
type refinement systems	The next 700 (type-theoretical) denotational models ?
U
untyped lambda calculus	Refining Properties of Filter Models: Sensibility, Approximability and Reducibility

Disclaimer | Powered by EasyChair Smart Program