拔出
发表于 2025-3-23 10:27:46
Nikos Katsifarakis,Kostas Karatzashe ML family of programming languages, concentrating on functions involving local state. A brief tour of structural operational semantics culminates in a structural definition of termination via an abstract machine using ‘frame stacks’. Applications of this to reasoning about contextual equivalence are given.
spondylosis
发表于 2025-3-23 16:32:09
An Introduction to Dependent Type Theory,nalysis..We present here precise theorems, that should hopefully help the reader to understand to which extent statements like “introducing dependent types in a programming language implies that type checking is undecidable”, are justified.
Ossification
发表于 2025-3-23 20:06:45
http://reply.papertrans.cn/17/1602/160130/160130_13.png
Solace
发表于 2025-3-23 22:41:35
http://reply.papertrans.cn/17/1602/160130/160130_14.png
GLOOM
发表于 2025-3-24 04:09:45
http://reply.papertrans.cn/17/1602/160130/160130_15.png
圆柱
发表于 2025-3-24 09:30:42
Abstract Machines, Control, and Sequents,term). Evaluation, viewed logically, is cut-elimination: this is the essence of the so-called Curry-Howard isomorphism. Control operators correspond to classical reasoning principles, as was first observed by Griffin.
Commentary
发表于 2025-3-24 12:52:10
Computing with Real Numbers, LFT application is that of multiplying .-bit integers. In Part II, we present an accessible account of a domain-theoretic approach to computational geometry and solid modelling which provides a data-type for designing robust geometric algorithms, illustrated here by the convex hull algorithm.
FAWN
发表于 2025-3-24 18:15:50
http://reply.papertrans.cn/17/1602/160130/160130_18.png
neoplasm
发表于 2025-3-24 20:30:21
http://reply.papertrans.cn/17/1602/160130/160130_19.png
饥荒
发表于 2025-3-25 00:04:29
http://reply.papertrans.cn/17/1602/160130/160130_20.png