BORIS Theses
Bern Open Repository and Information System

Ranzi, Florian

Group by: Item Type | No Grouping

Jump to: Thesis

Number of items: 1.

Thesis

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 Apr 23 03:20:11 2024 CEST.