ロード中...
A General Semantic Construction of Dependent Refinement Type Systems, Categorically
Dependent refinement types are types equipped with predicates that specify preconditions and postconditions of underlying functional languages. We propose a general semantic construction of dependent refinement type systems from underlying type systems and predicate logic, that is, a construction of...
保存先:
| 出版年: | Foundations of Software Science and Computation Structures |
|---|---|
| 第一著者: | |
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
2021
|
| 主題: | |
| オンライン･アクセス: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984113/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-71995-1_21 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|