Login / Signup
Termination of rewrite relations on $λ$-terms based on Girard's notion of reducibility.
Frédéric Blanqui
Published in:
CoRR (2015)
Keyphrases
</>
partially ordered sets
databases
case study
background knowledge
information systems
website
relational databases