Showing
1 - 11
results of
11
for search '
Pous, Damien
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Pous, Damien
Search Results
Showing
1 - 11
results of
11
for search '
Pous, Damien
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Innocent strategies as presheaves and interactive equivalences for CCS
Get access
Get access
Innocent strategies as presheaves and interactive equivalences for CCS
Get access
Get access
Innocent strategies as presheaves and interactive equivalences for CCS
Get access
Get access
Innocent strategies as presheaves and interactive equivalences for CCS
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
Calculus
Communication channels
Encoding
Interference
Magnetic heads
Semantics
Syntactics
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Loading...