On a logical foundation for explicit substitutions

被引：0
|
作者：
Pfenning, Frank [1 ]
机构：
[1] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
来源：
Typed Lambda Calculi and Applications, Proceedings | 2007年 / 4583卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] On a logical foundation for explicit substitutions
    Pfenning, Frank
    [J]. Term Rewriting and Applications, Proceedings, 2007, 4533 : 19 - 19
  • [2] On explicit substitutions and names
    Ritter, E
    de Paiva, V
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 248 - 258
  • [3] Combinatorics of Explicit Substitutions
    Bendkowski, Maciej
    Lescanne, Pierre
    [J]. PPDP'18: PROCEEDINGS OF THE 20TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2018,
  • [4] Explicit substitutions and reducibility
    Herbelin, H
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (03) : 431 - 451
  • [5] Dynamical properties of logical substitutions
    Panti, G
    [J]. DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2006, 15 (01) : 237 - 258
  • [6] Intersection types for explicit substitutions
    Lengrand, S
    Lescanne, P
    Dougherty, D
    Dezani-Ciancaglini, M
    van Bakel, S
    [J]. INFORMATION AND COMPUTATION, 2004, 189 (01) : 17 - 42
  • [7] Functional programming and explicit substitutions
    Lescanne, P
    [J]. CARI'96 - PROCEEDINGS OF THE 3RD AFRICAN CONFERENCE ON RESEARCH IN COMPUTER SCIENCE, 1996, : 830 - 841
  • [8] Explicit Substitutions: A Short Survey
    Pierre-LoutsCurien
    [J]. Journal of Computer Science & Technology, 1998, (06) : 562 - 563
  • [9] Logic of predicates with explicit substitutions
    Bednarczyk, MA
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 192 - 205
  • [10] Categorical models of explicit substitutions
    Ghani, N
    de Paiva, V
    Ritter, E
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 197 - 211
12345