Login / Signup
Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report).
Manfred Schmidt-Schauß
David Sabel
Published in:
WPTE@RTA/TLCA (2014)
Keyphrases
</>
contextual information
higher order
context sensitive
connected components
relational algebra
data sets
databases
genetic algorithm
programming language
context dependent
qualitative spatial reasoning
fixed order
search space
gray scale
qualitative spatial
sequent calculi