THE KOLMOGOROV CALCULUS AS A PART OF MINIMAL CALCULUS

被引：0
|
作者：
PLISKO, VE
机构：
来源：
RUSSIAN MATHEMATICAL SURVEYS | 1988年 / 43卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：79 / 91
页数：13
相关论文
共 50 条
  • [1] Deleuze Challenges Kolmogorov on a Calculus of Problems
    Dumoncel, Jean-Claude
    [J]. DELEUZE STUDIES, 2013, 7 (02) : 169 - 193
  • [2] μABC:: A minimal aspect calculus
    Bruns, G
    Jagadeesan, R
    Jeffrey, A
    Riely, J
    [J]. CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 209 - 224
  • [3] Minimal session types for the π-calculus
    Arslanagic, Alen
    Perez, Jorge A.
    Palamariuc, Anda-Amelia
    [J]. INFORMATION AND COMPUTATION, 2024, 297
  • [4] Minimal Session Types for the π-calculus
    Arslanagic, Alen
    Palamariuc, Anda-Amelia
    Perez, Jorge A.
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021, 2021,
  • [5] Calculus in the ring of Fermat reals, Part I: Integral calculus
    Giordano, Paolo
    Wu, Enxin
    [J]. ADVANCES IN MATHEMATICS, 2016, 289 : 888 - 927
  • [6] Foo: A Minimal Modern OO Calculus
    Gerakios, Prodromos
    Fourtounis, George
    Smaragdakis, Yannis
    [J]. 17TH WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2015), 2015,
  • [7] A minimal core calculus for Solidity contracts
    Università Degli Studi di Cagliari, Cagliari, Italy
    不详
    不详
    [J]. arXiv,
  • [8] A Minimal Core Calculus for Solidity Contracts
    Bartoletti, Massimo
    Galletta, Letterio
    Murgia, Maurizio
    [J]. DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2019, 11737 : 233 - 243
  • [9] The minimal graph model of lambda calculus
    Bucciarelli, A
    Salibra, A
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 300 - 307
  • [10] On minimal models of the Region Connection Calculus
    Xia, Lirong
    Li, Sanjiang
    [J]. FUNDAMENTA INFORMATICAE, 2006, 69 (04) : 427 - 446
12345