Robuta

https://eudml.org/doc/273067 EuDML | A non-uniform finitary relational semantics of system T relational semanticsnonuniformfinitarysystem