Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Categorical Combinators, Sequential Algorithms, and Functional ProgrammingCurien, P. -LBoston, MA: Birkhäuser Boston 1993Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Categorical Combinators, Sequential Algorithms, and Functional ProgrammingCurien P. L CurienBirkhäuser Boston 1993Acesso online |
3 |
Material Type: Artigo
|
![]() |
Methionine metabolism in plants: chloroplasts are autonomous for de novo methionine synthesis and can import S-adenosylmethionine from the cytosolRavanel, Stéphane ; Block, Maryse A ; Rippert, Pascal ; Jabrin, Samuel ; Curien, Gilles ; Rébeillé, Fabrice ; Douce, RolandThe Journal of biological chemistry, 2004-05, Vol.279 (21), p.22548-22557 [Periódico revisado por pares]United States: American Society for Biochemistry and Molecular BiologyTexto completo disponível |
4 |
Material Type: Livro
|
![]() |
Domains and Lambda-CalculiRoberto M. Curien, Pierre-Louis Bakker, J. W. de Amadio Roberto M Amadio; Pierre-Louis Curien; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van RijsbergenCambridge University Press 1998Acesso online |
5 |
Material Type: Livro
|
![]() |
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis CurienBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.530 e.1 ) e outros locais(Acessar) |
6 |
Material Type: Artigo
|
![]() |
Symmetry and Interactivity in ProgrammingCurien, P.-L.The bulletin of symbolic logic, 2003-06, Vol.9 (2), p.169-180 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
An abstract framework for environment machinesCurien, P.-L.Theoretical computer science, 1991-05, Vol.82 (2), p.389-402 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Formal parametric polymorphismAbadi, M. ; Cardelli, L. ; Curien, P.-L.Theoretical computer science, 1993-12, Vol.121 (1), p.9-58 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
The higher dimensional propositional calculusBucciarelli, A ; Curien, P-L ; Ledda, A ; Paoli, F ; Salibra, ALogic journal of the IGPL, 2024-08 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Free algebraic structures on the permutohedraBurgunder, E ; P -L Curien ; Ronco, MarXiv.org, 2015-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |