Verwandte Artikel zu Domains and Lambda-Calculi (Cambridge Tracts in Theoretical...

Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Buch 23 von 40: Cambridge Tracts in Theoretical Computer Science

Roberto M. Amadio , Pierre-Louis Curien

 
9780521622776: Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

Inhaltsangabe

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.