会员服务
Higher-Order Bialgebraic Semantics
Arxiv
0+阅读 · 3月25日
From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
Arxiv
0+阅读 · 4月24日
Towards a Higher-Order Mathematical Operational Semantics
Arxiv
0+阅读 · 4月28日
Towards a Higher-Order Mathematical Operational Semantics
Arxiv
0+阅读 · 3月23日
Weighted NetKAT: A Programming Language For Quantitative Network Verification
Arxiv
0+阅读 · 4月15日
Reversible Computation with Stacks and "Reversible Management of Failures"
Arxiv
0+阅读 · 3月4日
Towards a Higher-Order Bialgebraic Denotational Semantics
Arxiv
0+阅读 · 2月20日
The Functional Machine Calculus III: Control
Arxiv
0+阅读 · 2月27日
Towards a Higher-Order Mathematical Operational Semantics
Arxiv
0+阅读 · 3月10日
On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
Arxiv
0+阅读 · 2月10日
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Arxiv
0+阅读 · 2月6日
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Arxiv
0+阅读 · 2月11日
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
Arxiv
0+阅读 · 2月8日
Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Reasoning
Arxiv
0+阅读 · 1月22日
Structural Operational Semantics for True Concurrency
Arxiv
0+阅读 · 1月24日
参考链接
微信扫码咨询专知VIP会员
Top