Analysis of a Guard Condition in Type Theory (Extended Abstract).

Roberto M. Amadio Solange Coupet-Grimal

Published in: FoSSaCS (1998)

Keyphrases

extended abstract
statistical analysis
neural network
data analysis
quantitative analysis
information systems
computational model
theoretical framework
database
data sets
multiscale