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

  • C.A. Grabmayer (Speaker)

Activity: Lecture / Presentation › Academic

Period27 Oct 2000
Event titleOzsL-Accolade 2000
Event typeLecture