Daria Spescha

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Daria Spescha, Thomas Strahm
Realisability in weak systems of explicit mathematics. Math. Log. Q. 57 (6) (2011)
Daria Spescha, Thomas Strahm
Elementary explicit types and polynomial time operations. Math. Log. Q. 55 (3) (2009)