BORIS Theses

BORIS Theses
Bern Open Repository and Information System

Ranzi, Florian

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.


Ranzi, Florian (2015) From a Flexible Type System to Metapredicative Wellordering Proofs thesis, Institut für Informatik und angewandte Mathematik.

This list was generated on Tue Jun 6 03:20:09 2023 CEST.