(1 - 11 von 12
)
Proof Theory meets Type Theory
resources.illc.uva.nl
— Anton Setzer Department of Computer Science Swansea University Singleton Park Swansea SA2 8PP UK Telephone: (national) (01792) › newsit...
sortiert nach Relevanz / Datum