Beschrijving
The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien).
Populaire zoekopdrachten
Snel naar
Trending now
How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer
Newey, Adrian
The Science of Animals: Inside their Secret World
DK || Chris Packham
The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track
Jean-Michel Guesdon || Philippe Margotin
Ride: Cycle the World
DK Travel
Aanbevolen
M. Garand
€ 20,70
Danièle Bott
€ 32,40
Hachisu, Nancy Singleton
€ 40,50
Jean-Michel Guesdon || Philippe Margotin
€ 40,50
Collins Maps
€ 34,20
DK Travel
€ 20,70
DK || Chris Packham
€ 28,80
Sarah J. Maas
€ 18,00
Newey, Adrian
€ 32,88
DK || Chris Packham
€ 33,10
Serie & gerelateerd
Lois McMaster Bujold
Penric's Progress: Volume 1
€ 30,07
Progress
The Progress of Nations: Or, the Principles of National Development in Their Relation to Statesmanship
€ 53,70
Progress
The Progress of Nations; Or the Principles of National Development in Their Relationship to Statesmanship: A Study in Analytical History
€ 46,70
Progress
The Progress of Nations: Or, the Principles of National Development in Their Relation to Statesmanship
€ 68,68
Progress
The Progress of Nations; Or the Principles of National Development in Their Relationship to Statesmanship: A Study in Analytical History
€ 68,58
Progress
The Progress of Fashion, a Series of Letters to a Friend
€ 56,09
Progress
The Progress of the Revolutions of 1640 and 1830
€ 49,10
Progress
Religious Progress. the Practical Christianity of Christ
€ 50,49
Progress
The Progress of the Revolutions of 1640 and 1830
€ 24,43
Progress
Religious Progress. the Practical Christianity of Christ
€ 27,34
