Spescha, Daria

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2010 | 2009


Spescha, Daria; Strahm, Thomas (2010). Realisability in weak systems of explicit mathematics. Mathematical logic quarterly, 57(6), pp. 551-565. Weinheim: Wiley-VCH 10.1002/malq.201020064


Spescha, Daria; Strahm, Thomas (2009). Elementary explicit types and polynomial time operations. Mathematical logic quarterly, 55(3), pp. 245-258. Weinheim: Wiley-VCH 10.1002/malq.200810004

Provide Feedback