(1 - 18 von 24
)
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