j
k
j a
j l
Derek Elkins wrote:
In general, to encode OO... turns out all you needed was recursive bounded existential quantification.
Do you have a reference for that? Thanks, Yitz
Back to the thread
Back to the list
