-
1
The Parametric Lambda Calculus A Metamodel for Computation
Veröffentlicht 2004UBY01
URL des Eerstveröffentlichers
Elektronisch E-Book -
2
The parametric lambda calculus a meta-model for computation
Veröffentlicht 2004Inhaltsverzeichnis
Buch -
3
Computer Science Logic 2013 (CSL 2013) 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy
Veröffentlicht 2013Volltext
kostenfrei
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
4
Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011
Veröffentlicht 2015Tagungsbericht Buch