Search Results - "semantics"

Refine Results
  1. 1201
  2. 1202
  3. 1203
  4. 1204
  5. 1205
  6. 1206
  7. 1207
  8. 1208
  9. 1209
  10. 1210
  11. 1211
  12. 1212

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Table of Contents: “…From Lorenzen's dialogue game to game semantics for substructural logics (Christian Fermüller) -- Chapter 11. …”
    Link to Metadata
    Electronic eBook
  13. 1213

    Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

    Published 2018
    Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
    Link to Metadata
    Electronic eBook
  14. 1214
  15. 1215
  16. 1216
  17. 1217
  18. 1218
  19. 1219
  20. 1220