History
1
au:Buiras, P*
3


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Lower bounds for scalars in a typed algebraic $λ$-calculus. (English)
Comput. Res. Repos. 2011, Article No. 1102.0749 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX URL
A functional framework for result checking. (English)
Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19‒21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 72-86 (2010).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
A functional framework for result checking (English)
FLOPS, 72-86 (2010).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Valid XHTML 1.0 Transitional Valid CSS!