Elementary explicit types and polynomial time operations. - Daria Spescha; Thomas Strahm (Math. Log. Q., 2009)

Realisability in weak systems of explicit mathematics. - Daria Spescha; Thomas Strahm (Math. Log. Q., 2011)