Login / Signup
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)