A Formalized Proof of Strong Normalization for Guarded Recursive Types.

Andreas Abel Andrea Vezzosi

Published in: APLAS (2014)

Keyphrases

high level
integrity constraints
neural network
real world
data structure
probabilistic model
first order logic
fixed point