Travelled to:1 × Finland
Collaborated with:∅
Talks about:hierarchi (1) principl (1) ineffect (1) theorem (1) classic (1) analysi (1) calibr (1) logic (1) semi (1)
Person: Michael Toftdal
DBLP: Toftdal:Michael
Contributed to:
2004Wrote 1 papers:
- ICALP-2004-Toftdal #analysis #effectiveness #logic #theorem
- A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (MT), pp. 1188–1200.