資源項作為策略及其範疇語義
本文重新審視並擴展了 Tsukada 和 Ong 的研究成果，建立了正規資源項與擴充的同構類之間的雙射關係，並將其精煉為一種指稱語義，將資源項解釋為策略，並證明了其在歸約下的不變性。
Constraint Automata and the Complexity of Satisfiability for CTL with Integer Constraints (CTL(Z) and CTL*(Z))
This paper introduces tree constraint automata (TCA) and leverages them to establish the complexity of satisfiability problems for the temporal logics CTL(Z) (ExpTime-complete) and CTL*(Z) (2ExpTime-complete), which extend CTL with constraints over integers.
자원 용어로서의 전략 및 범주형 의미론
이 논문은 하이랜드-옹 게임의 플레이에 해당하는 정규 자원 용어와 이러한 용어의 범주형 의미론, 특히 자원 범주 내에서의 해석에 대해 설명합니다.
リソース項としての戦略とそのカテゴリーセマンティクス
リソース計算における正規形のリソース項と、Hyland-Ongゲームにおけるプレイのホモトピー同値類との間の直接的な対応関係を明らかにし、さらに、リソース項の簡約を考慮した表示的解釈を提示する。
The Relationship Between Resource Terms in Programming Languages and Game Semantics
This paper presents a novel approach to understanding the correspondence between resource terms in programming languages and plays in Hyland-Ong game semantics, providing a direct and explicit account of their relationship and extending it to encompass non-normal resource terms and reduction.
函數式機器演算 III：選擇（預印本）
本文介紹了函數式機器演算 (FMC) 的擴展，通過引入「選擇」結構來整合異常處理、迴圈和資料結構等功能，同時維持其簡潔性、類型安全性和合流性。
함자 기계 계산법 III: 선택 (초기 발표) - MFPS 2024 제출 논문
본 논문에서는 함자 기계 계산법(FMC)을 확장하여 예외 처리 및 루프 구조를 포함한 광범위한 계산 동작을 포착하고, 기존 람다 계산법의 합류성 및 타입 안정성을 유지하는 방법을 제시합니다.
関数型マシン計算論 III: 選択 (初期発表)
本稿では、関数型プログラミングの基礎であるラムダ計算を拡張した計算モデルである関数型マシン計算論 (FMC) に、選択構造を導入することで、例外処理やループ構造といった計算効果を表現できることを示す。
The Functional Machine Calculus III: Incorporating Choice into a Confluent Lambda-Calculus with Effects
This paper presents an extension to the Functional Machine Calculus (FMC) that incorporates choice constructs, enabling the representation of exception handling, loop structures, and data types while preserving confluence and supporting a type system that guarantees termination.
在加權結構化論證中，對推理預設解碼評估的公理化研究
這篇文章提出了一個評估加權結構化論證中推理預設解碼品質的框架，引入了七個評估標準和相應的公理化度量方法，為理解和比較不同解碼提供了理論基礎。
© 2024 by Linnk AI