Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.

Dariusz Biernacki Sergueï Lenglet

Published in: MFPS (2014)

Keyphrases

real time
data sets
relational calculus
automated deduction
databases
information systems
multiscale
inference rules
sequent calculus