𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic construction for reinterpretation phenomena

✍ Scribed by Egg, Marcus

Book ID
111935923
Publisher
Walter de Gruyter GmbH & Co. KG
Year
2002
Tongue
English
Weight
189 KB
Volume
40
Category
Article
ISSN
0024-3949

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Constructs and phenomena common to the s
Constructs and phenomena common to the semantically-rich domains
✍ Beth Adelson πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 926 KB

This article looks at some phenomena that recur during expert problem solving across domains including computer science, physics, chess, and mathematics. Several of the mechanisms which have been hypothesized to underlie performance in one domain are then used to explain the results found in the oth

A constructive semantics for non-deducib
A constructive semantics for non-deducibility
✍ Francesco Ciraulo πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 157 KB

## Abstract This paper provides a constructive topological semantics for non‐deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co‐induction are two needful tools. (Β© 2008 WILEY‐VCH Verlag

Constructive Action Semantics for Core M
Constructive Action Semantics for Core ML
✍ Iversen, J.; Mosses, P.D. πŸ“‚ Article πŸ“… 2005 πŸ› The Institution of Electrical Engineers 🌐 English βš– 504 KB