×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [bck term]
Home >
bck term
Slides 07 1 Restricted -terms and logics Definition (1D1) A -term P is called a I-term iff, for each subterm with the form x M in P, x occurs free in.
217 views