Login / Signup
Strong normalisation in two Pure Pattern Type Systems.
Benjamin Wack
Clément Houtmann
Published in:
Math. Struct. Comput. Sci. (2008)
Keyphrases
</>
intelligent systems
computer systems
high level
management system
pattern matching
complex systems
genetic algorithm
distributed systems
systems require
real time
machine learning
data structure
digital libraries
information technology
building blocks
retrieval systems