標(biāo)題: Titlebook: Games and Full Abstraction for a Functional Metalanguage with Recursive Types; Guy McCusker Book 1998 Springer-Verlag London Limited 1998 [打印本頁] 作者: 小費(fèi) 時(shí)間: 2025-3-21 19:12
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types影響因子(影響力)
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types影響因子(影響力)學(xué)科排名
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types網(wǎng)絡(luò)公開度
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types被引頻次
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types被引頻次學(xué)科排名
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types年度引用
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types年度引用學(xué)科排名
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types讀者反饋
書目名稱Games and Full Abstraction for a Functional Metalanguage with Recursive Types讀者反饋學(xué)科排名
作者: 不怕任性 時(shí)間: 2025-3-21 22:54 作者: 過渡時(shí)期 時(shí)間: 2025-3-22 02:45
Book 1998ture research in Chapter 7. In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59]. Guy McCusker February 1998 Acknowledgements First作者: 容易懂得 時(shí)間: 2025-3-22 05:20
The Ecological Basis for Biological Control,e weaker ordertheoretic requirement of rationality, which can itself be described by simple algebraic, non-order-theoretic, axioms. In Chapter 5 the language . was introduced and the theory of Chapter 4 used to define a notion of model of . and establish a computational adequacy result for such mode作者: Mets552 時(shí)間: 2025-3-22 12:30 作者: Asymptomatic 時(shí)間: 2025-3-22 13:04
Games and Full Abstraction for a Functional Metalanguage with Recursive Types978-1-4471-0615-9作者: Asymptomatic 時(shí)間: 2025-3-22 19:08 作者: BACLE 時(shí)間: 2025-3-22 22:38
Prior and Likelihood Representation,question of completeness to one of .: are all the finite strategies of certain games in fact the denotation of some . program? Our analysis then answers this question in the affirmative, yielding the full abstraction theorem.作者: 出處 時(shí)間: 2025-3-23 02:49
Full Abstraction,question of completeness to one of .: are all the finite strategies of certain games in fact the denotation of some . program? Our analysis then answers this question in the affirmative, yielding the full abstraction theorem.作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-23 07:02
, and its Models,ble of type . is interpreted as a morphism ?.? : ?.? →?.?. (More free variables are handled using products in the category.) Supposing that a notion of program equivalence ? is given, we would like the following . condition to hold.作者: 起來了 時(shí)間: 2025-3-23 13:15 作者: Arroyo 時(shí)間: 2025-3-23 17:02 作者: goodwill 時(shí)間: 2025-3-23 21:34 作者: Libido 時(shí)間: 2025-3-24 00:00 作者: Living-Will 時(shí)間: 2025-3-24 04:15 作者: senile-dementia 時(shí)間: 2025-3-24 10:34
Games,The goal of this book is to develop a theory of game semantics for programming languages with rich type systems. Here we introduce various categories of games and investigate their properties, discovering that many type constructions can be performed.作者: 心胸開闊 時(shí)間: 2025-3-24 12:51 作者: Visual-Field 時(shí)間: 2025-3-24 15:10 作者: URN 時(shí)間: 2025-3-24 19:15 作者: 凈禮 時(shí)間: 2025-3-25 00:04 作者: BALE 時(shí)間: 2025-3-25 06:02 作者: Foreknowledge 時(shí)間: 2025-3-25 08:49 作者: 惡意 時(shí)間: 2025-3-25 13:51
978-1-4471-1165-8Springer-Verlag London Limited 1998作者: abstemious 時(shí)間: 2025-3-25 16:29
Cost Allocation as Cooperative Games,some code does not change the behaviour, or that a given program meets its specification. However, the problem of showing that two programs are equivalent is not at all simple. Syntax is clumsy and difficult to work with, and in any case it is not really the syntax that is of concern, but the .: wha作者: antecedence 時(shí)間: 2025-3-25 20:22 作者: 催眠藥 時(shí)間: 2025-3-26 00:33 作者: HALO 時(shí)間: 2025-3-26 04:51
Fuzzy Set Theory and Psychology, .. Typically each type . of the language is interpreted as an object ?.? in the semantic category, and a program . of type . with a single free variable of type . is interpreted as a morphism ?.? : ?.? →?.?. (More free variables are handled using products in the category.) Supposing that a notion o作者: Fortify 時(shí)間: 2025-3-26 11:07
Prior and Likelihood Representation,ation that the category ε of games constructed in Chapter 3 captures precisely the notion of sequential functional computation embodied in .. The content of this chapter is largely technical in nature, involving a detailed analysis of the strategies which form the morphisms in ε We first reduce the 作者: 積習(xí)已深 時(shí)間: 2025-3-26 13:38 作者: Allergic 時(shí)間: 2025-3-26 20:30
Introduction,some code does not change the behaviour, or that a given program meets its specification. However, the problem of showing that two programs are equivalent is not at all simple. Syntax is clumsy and difficult to work with, and in any case it is not really the syntax that is of concern, but the .: wha作者: 催眠 時(shí)間: 2025-3-26 23:01 作者: 類似思想 時(shí)間: 2025-3-27 01:54 作者: Arctic 時(shí)間: 2025-3-27 06:17 作者: Insatiable 時(shí)間: 2025-3-27 11:28 作者: Agility 時(shí)間: 2025-3-27 17:30 作者: 腫塊 時(shí)間: 2025-3-27 19:33
Introduction,nd even exploration. Its location in a backwater at the far end of both the Indian and Pacific Oceans meant that such early contacts as were established, mainly by the corsairs and traders of the various islands in the Moluccas, were restricted to small and isolated pockets along the fringe of western New Guinea.作者: 不幸的人 時(shí)間: 2025-3-27 23:39
