Login / Signup
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.
Ernesto Copello
Nora Szasz
Álvaro Tasistro
Published in:
LFMTP@FSCD (2018)
Keyphrases
</>
theoretical basis
digital libraries
formal theory
information systems
three dimensional
computational model
formal analysis
general theory
data sets
machine learning
genetic algorithm
high level
learning environment
real time
special case
theoretical framework
theoretical foundation
databases
multiple types