Confluent terminating extensional lambda-calculi with surjective pairing and terminal type.

Published in: CoRR (2018)

Keyphrases

fixed point
real time
e learning
computational complexity
database
machine learning
genetic algorithm
evolutionary algorithm
control system
reasoning problems