General Bindings and Alpha-Equivalence in Nominal Isabelle.

Christian Urban Cezary Kaliszyk

Published in: ESOP (2011)

Keyphrases

special case
neural network
data structure
real world
information systems
decision making
website
case study
database systems
search algorithm
closely related