FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
Approximable Mappings	A logical view of complex analytic maps
axiomatic domain theory	Diffeological Spaces and Semantics for Differential Programming Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
B
back-and-forth equivalences	Invited Talk: Approximating partial by total: fixpoint characterizations of back-and-forth equivalences
C
call-by-push-value	Algebra semantics of recursive computation types
cartesian-closed	Invited Talk: Topology and Domain Theory Interfaces
Categories of relations	Extending Stone Duality to Relations
choice sequence	A Brouwerian proof of the Fan Theorem
closed set	T^\omega-representations of compact sets through dyadic subbases
combinatory logic	Domain Theory for Intensional Computation
commutative monads	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
comonads	Invited Talk: Approximating partial by total: fixpoint characterizations of back-and-forth equivalences
complex analysis	Robust computability notions for types arising in classical analysis
Computability	Robust computability notions for types arising in classical analysis
computable metric space	T^\omega-representations of compact sets through dyadic subbases
computational effects	Algebra semantics of recursive computation types
concurrent programs	Invited Talk: A Brief History of Denotational Semantics
Continuation Semantics	Abstractness of Continuation Semantics for Asynchronous Concurrency
continuous valuation
D
Daniell-Kolmogorov theorem
de Groot duality	Applications of entailments: de Groot duality
denotational semantics	Algebra semantics of recursive computation types Invited Talk: A Brief History of Denotational Semantics
diffeological spaces	Diffeological Spaces and Semantics for Differential Programming
differential programming	Diffeological Spaces and Semantics for Differential Programming
directed complete	Invited Talk: Topology and Domain Theory Interfaces
domain
domain equation	Algebra semantics of recursive computation types
domain theory	Domain Theory for Intensional Computation Invited Talk: A Brief History of Denotational Semantics Invited Talk: Topology and Domain Theory Interfaces
E
enriched categories	Higher-dimensional categories: recursion on extensivity
entailment relation	Applications of entailments: de Groot duality
essentially algebraic theories	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
extensive categories	Higher-dimensional categories: recursion on extensivity
F
Fan Theorem	A Brouwerian proof of the Fan Theorem
fixpoints	Invited Talk: Approximating partial by total: fixpoint characterizations of back-and-forth equivalences
Frames	Frames and frame relations
functor algebra	Algebra semantics of recursive computation types
G
generalised operads	Higher-dimensional categories: recursion on extensivity
Grothendieck quasi-topos	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
H
higher dimensional categories	Higher-dimensional categories: recursion on extensivity
higher-order	Robust computability notions for types arising in classical analysis
I
Injectivity	Frames and frame relations
intensional computation	Domain Theory for Intensional Computation
intuitionism	A Brouwerian proof of the Fan Theorem
J
Jung-Tix problem	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
L
L-derivative	A logical view of complex analytic maps
lax homomorphism	Algebra semantics of recursive computation types
Lipschitz maps	A logical view of complex analytic maps
M
matching representation	T^\omega-representations of compact sets through dyadic subbases
Metric Semantics	Abstractness of Continuation Semantics for Asynchronous Concurrency
monoid model	A Brouwerian proof of the Fan Theorem
O
open set lattice	Invited Talk: Topology and Domain Theory Interfaces
Order enriched categories	Extending Stone Duality to Relations
overt set	T^\omega-representations of compact sets through dyadic subbases
P
Plotkin's T	T^\omega-representations of compact sets through dyadic subbases
powerlocale	Applications of entailments: de Groot duality
probabilistic powerdomains	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
program extraction	Invited Talk: Scott Domains for Denotational Semantics and Program Extraction
program semantics	Invited Talk: Scott Domains for Denotational Semantics and Program Extraction
projective limit
Q
quasi-Borel spaces	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
quasi-metric	Invited Talk: Topology and Domain Theory Interfaces
R
random variables	A Domain-theoretic Skorohod’s Theorem
recursion	Diffeological Spaces and Semantics for Differential Programming
Relations	Frames and frame relations
relaxed memory	Invited Talk: A Brief History of Denotational Semantics
represented space	T^\omega-representations of compact sets through dyadic subbases
S
s-finite distributions	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
Scott continuous map
Scott domains	Invited Talk: Scott Domains for Denotational Semantics and Program Extraction
Scott topology	Invited Talk: Topology and Domain Theory Interfaces
Semilattices	Frames and frame relations
SF-calculus	Domain Theory for Intensional Computation
sheaf model	A Brouwerian proof of the Fan Theorem
Skorohod's Theorem	A Domain-theoretic Skorohod’s Theorem
stably compact	Invited Talk: Topology and Domain Theory Interfaces
stably compact locale	Applications of entailments: de Groot duality
Stably Locally Compact	A logical view of complex analytic maps
stochastic process theory	A Domain-theoretic Skorohod’s Theorem
Stone Duality	A logical view of complex analytic maps Extending Stone Duality to Relations
synthetic measure theory	Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming
T
topology	Invited Talk: Topology and Domain Theory Interfaces
W
Weak Abstractness	Abstractness of Continuation Semantics for Asynchronous Concurrency

Disclaimer | Powered by EasyChair Smart Program