Formalization
Special representation terms:
Rint
R? (x,y)
A term e which represents a type t has the special type R(t).
R?(Rint,Rint): R(int ? int)
Previous slide
Next slide
Back to first slide
View graphic version