Titlebook: Logic, Language and Computation; Festschrift in Honor Neil D. Jones,Masami Hagiya,Masahiko Sato Book 1994 Springer-Verlag Berlin Heidelberg

onlooker

狗窩

Inculcate

sclera

CLOT

The non-deterministic catch and throw mechanism and its subject reduction property,A simple programming language and its typing system is introduced to capture the catch and throw mechanism with its non-deterministic feature. The subject reduction property of the system, which compensates for the unpleasant feature of the non-determinism, is shown.

證實(shí)

ML with first-class environments and its type inference algorithm,We present a typed λ-calculus which enables us to handle first-class environments. The syntax and the reduction are obtained by applying the idea of Curien‘s “explicit substitution”. The type system has ML-polymorphism and a type inference algorithm which is sound and terminates.

生氣地

牛的細(xì)微差別

The logic of FOL systems: Formulated in set theory,In this paper we use set theory to describe FOL systems. This restatement of the notions implicit in First Order Logic facilitates their interpretation as finite data structures. This is a crucial step toward the goal of building an artificial reasoner.

CUMB

政府