Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Curien, Pierre-Louis (4)
Preuves, Programmes et Systèmes (PPS) (2)
Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) (2)
Barthe, Gilles (1)
Benton, Nick (1)
Cartwright, Robert (1)
Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X) (1)
Coquand, Thierry (1)
Danos, Vincent (1)
Dybjer, Peter (1)
more
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 4 of 4
1
Computational self-assembly
Curien, Pierre-Louis
;
Danos, Vincent
;
Krivine, Jean
...
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.archives-ouvertes.fr/hal-00155297 ; Theoretical Computer Science, Elsevier, 2008, 404 ((1-2)), pp.61-75 (2008)
BASE
Show details
2
Applied semantics : international summer school ; advanced lectures
Edalat, Abbas
(Mitarb.);
Rémy, Didier
(Mitarb.);
Benton, Nick
(Mitarb.). - Berlin [u.a.] : Springer, 2002
BLLDB
UB Frankfurt Linguistik
Show details
3
The duality of computation
Herbelin, Hugo
;
Curien, Pierre-Louis
In: Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00 ; https://hal.inria.fr/inria-00156377 ; Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Sep 2000, Montréal, Canada. pp.233-243 (2000)
BASE
Show details
4
Fully abstract semantics for observably sequential languages
Cartwright, Robert
;
Curien, Pierre-Louis
;
Felleisen, Matthias
In:
Information and computation. - Amsterdam : Elsevier
111 (1994) 2, 297-401
BLLDB
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
1
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
2
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
2
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern