1. Home
  2. Medien
  3. Bücher
  4. Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  • #
  • #

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

128.39 EUR

Teilen:
Gesponsert

Semantics of the Probabilistic Typed Lambda Calculus

SpringerLink DE
128.39 EUR
22-04-2026 09:24:09
Gesponsert

Semantics of the Probabilistic Typed Lambda Calculus, Fachbücher von Dirk Draheim

Galaxus.de
128.39 EUR
21-04-2026 20:30:45

Ähnliche Produkte

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

120.99 EUR
Abstract Probabilistic Semantics for the Analysis of Bio Sys Models

Abstract Probabilistic Semantics for the Analysis of Bio Sys Models

68.00 EUR
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

68.99 EUR
Word Meaning and Montague Grammar: The Semantics of Verbs and Times in Generative Semantics and in Montague's PTQ

Word Meaning and Montague Grammar: The Semantics of Verbs and Times in Generative Semantics and in Montague's PTQ

213.99 EUR
Semantics of the Probabilistic Typed Lambda Calculus

Semantics of the Probabilistic Typed Lambda Calculus

96.29 EUR
Probabilistic Trace and Testing Semantics: Coherent Foundations in Programming Languages

Probabilistic Trace and Testing Semantics: Coherent Foundations in Programming Languages

78.40 EUR
Recent Advances in the Syntax and Semantics of Tense, Aspect and Modality (Trends in Linguistics. Studies and Monographs [TiLSM], 185)

Recent Advances in the Syntax and Semantics of Tense, Aspect and Modality (Trends in Linguistics. Studies and Monographs [TiLSM], 185)

187.34 EUR
Lexical Bootstrapping

Lexical Bootstrapping

113.04 EUR