Games
Apps
Movies
Books
Kids
google_logo Play
Games
Apps
Movies
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies
Books
Kids
More by Stergios Chatzikyriakidis
Formal Semantics in Modern Type Theories
€139.99
Formal Semantics in Modern Type Theories
€139.99
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
€54.49
€38.14
