Proof-theoretic interconnections between known axiom- and inference-systems concerning recursice type equality

C.A. Grabmayer (Speaker)

Activity: Lecture / PresentationAcademic

Period27 Oct 2000
Held atOzsL-Accolade 2000
Event typeLecture