Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Häftad
1 062 kr
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Inbunden, Engelska, 1998
Del i serien Distinguished Dissertations
850 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 062 kr
Hoppa över listan
Du kanske också är intresserad av
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Häftad
550 kr
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Häftad
1 062 kr
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 062 kr
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Ian Miguel
Inbunden
1 093 kr