Typing as functional-logic evaluation.

Francisco Javier López-Fraguas Enrique Martin-Martin

Published in: PEPM (2013)

Keyphrases

neural network
information retrieval
real time
database systems
multiscale
logical framework
classical logic
deontic logic
asynchronous circuits