Concrete sheaf models of higher-order recursion

Concrete sheaf models of higher-order recursion

<p>This thesis studies denotational models, in the form of sheaf categories, of functional programming languages with higher-order functions and recursion. We give a general method for building such models and show how the method includes examples such as existing models of probabilistic and d...

書誌詳細
第一著者:	Matache, C
その他の著者:	Staton, S
フォーマット:	学位論文
言語:	English
出版事項:	2022
主題:	categories (Mathematics) denotational semantics programming languages (Electronic computers)

類似資料

Structural foundations for probabilistic programming languages
著者:: Stein, DM
出版事項: (2021)

On the semantics of intensionality and intensional recursion
著者:: Kavvos, G
出版事項: (2017)

Semantics of Higher-Order Recursion Schemes
著者:: Jiri Adamek, 等
出版事項: (2011-04-01)

Introduction to categories homological algebra and sheaf cohomology /
著者:: 310776 Strooker, Jan R.
出版事項: (1978)

Structural foundations for differentiable programming
著者:: Huot, M
出版事項: (2022)

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
著者:: Roussanka LOUKANOVA
出版事項: (2016-12-01)

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
著者:: Tom Hirschowitz
出版事項: (2013-09-01)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
著者:: Shi, Ling, 等
出版事項: (2020)

Denotative and connotative analysis on Elia Pettie’s short story
著者:: Nur Nabilah Fauziyah, 等
出版事項: (2020-06-01)

Technical Creativity, Material Engagement and the (Controversial) Role of Language
著者:: Pietro Montani
出版事項: (2019-11-01)

Concrete categories and higher-order recursion
著者:: Matache, C, 等
出版事項: (2022)

An intensionally fully-abstract sheaf model for $\pi$ (expanded version)
著者:: Clovis Eberhart, 等
出版事項: (2017-11-01)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
著者:: Naoki Kobayashi, 等
出版事項: (2020-10-01)

On the (possible) range of the category house
著者:: Dilparić Branislava M.
出版事項: (2014-01-01)

LEXICAL AND SEMANTIC CLASSIFICATION OF THE RUSSIAN VERBS DENOTING LIGHT
著者:: Zh. Yu. Polezhaeva
出版事項: (2014-02-01)

Causal types for higher-order quantum theory
著者:: Simmons, W
出版事項: (2024)

A Semantic Change Model for French Loanwords in Persian
著者:: Azadeh Sharifi MOGHADDAM
出版事項: (2013-12-01)

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
著者:: Stefan Milius, 等
出版事項: (2013-09-01)

Idempotents in intensional type theory
著者:: Michael Shulman
出版事項: (2017-04-01)

Denotation of Idioms and Its Cognitive Processing
著者:: Chermen G. Gogichev
出版事項: (2017-11-01)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
著者:: Forster, Y, 等
出版事項: (2017)

THE SEMANTIC STRUCTURE OF LANDSCAPE TERMS IN GERMAN FOLK TEXTS (A CASE STUDY OF FAIRY TALES, PROVERBS AND SAYINGS)
著者:: Rakitina Olga Nikolaevna
出版事項: (2014-11-01)

Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
著者:: Pretnar, M
出版事項: (2016)

Текстовая функция цветообозначений красного тона в языковой картине мирa С. Есенина (на примере изображения человека)
著者:: Swietłana Babulewicz
出版事項: (2011-09-01)

Being Van Kampen is a universal property
著者:: Pawel Sobocinski, 等
出版事項: (2011-04-01)

On the non-compositionality of monads via distributive laws
著者:: Zwart, M
出版事項: (2020)

СПЕЦИФИКА ОПЕРИРОВАНИЯ СЕМАНТИКОЙ УМСТВЕННО ОТСТАЛЫХ ЛИЦ
著者:: Elena Anatolievna Steblyak
出版事項: (2015-09-01)

INVISIBLE TURKISMS IN THE OLZHAS SULEIMENOV’S BOOK “AZ I YA”: A PHILOLOGICAL ESSAY
著者:: Elena Alexandrovna Krasina
出版事項: (2018-12-01)

O różnorodności nazw określających migrantów – na materiale leksykograficznym
著者:: Paulina Kaźmierczak
出版事項: (2020-02-01)

Paradox of Expressing the Inexpressible: Review (Mikhailova, M. Yu. (2017). Semantics of Inexpressible in Language and Speech. Samara: SGSPU. 244 p.)
著者:: A. K. Zhumabekova
出版事項: (2018-05-01)

Semantic Structure of the Sentence and Its Realisations (Bulgarian “аха” and Its Polish Equivalents)
著者:: Małgorzata Korytkowska
出版事項: (2023-12-01)

AMPL : a modeling language for mathematical programming /
著者:: 423043 Fourer, Robert, 等
出版事項: (2003)

Monads need not be endofunctors
著者:: Thosten Altenkirch, 等
出版事項: (2015-03-01)

When is a container a comonad?
著者:: Danel Ahman, 等
出版事項: (2014-09-01)

LNL-FPC: The Linear/Non-linear Fixpoint Calculus
著者:: Bert Lindenhovius, 等
出版事項: (2021-04-01)

Nomes próprios gerais no contexto da semântica de J. S. Mill General proper names in the context of Stuart Mill´s semantic
著者:: Lúcio Lourenço Prado
出版事項: (2005-01-01)

THE SEMANTIC OF THE RUSSIAN VERBS DENOTING LIGHT
著者:: Zh. Yu. Polezhaeva
出版事項: (2014-02-01)

Lexical Representation of Knowledge about a Human Being in English
著者:: Tatiana Golechkova
出版事項: (2015-09-01)

Semantic Analysis of Proverbs: A Conversation Analysis
著者:: ا.م .نغم علي حسن
出版事項: (2022-09-01)

Classification of Mandarin Chinese simple adjectives : a scale-based analysis of their quantitative denotations
著者:: Lin, Jingxia, 等
出版事項: (2018)