Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic.

Martin W. Bunder W. J. M. Dekkers

Published in: Notre Dame J. Formal Log. (2005)

Keyphrases

management system
systems require
neural network
distributed systems
building blocks
database
real time
databases
real world
social networks
expert systems