'COQ COQ'

被引：0
|
作者：
GULLAR, F
机构：
来源：
QUINZAINE LITTERAIRE | 1987年 / 484期
关键词：
D O I：
暂无
中图分类号：
I [文学];
学科分类号：
05 ;
摘要：
引用
收藏
页码：16 / 16
页数：1
相关论文
共 50 条
  • [1] Sets in Coq, Coq in Sets
    Barras, Bruno
    JOURNAL OF FORMALIZED REASONING, 2010, 3 (01): : 29 - 48
  • [2] COQ Cock Correct! Verification of Type Checking and Erasure for COQ, in COQ
    Sozeau, Matthieu
    Boulier, Simon
    Forster, Yannick
    Tabareau, Nicolas
    Winterhalter, Theo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [3] 'Coq'
    Fontela, O
    EUROPE-REVUE LITTERAIRE MENSUELLE, 2005, (919-20) : 280 - 280
  • [4] Coq
    Théry, L
    Letouzey, P
    Gonthier, G
    SEVENTEEN PROVERS OF THE WORLD, 2006, 3600 : 28 - 35
  • [5] Extracting functional programs from Coq, in Coq
    Annenkov, Danil
    Milo, Mikkel
    Nielsen, Jakob Botsch
    Spitters, Bas
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2022, 32 (05)
  • [6] LE 'COQ'
    TARPINIAN, , A
    NOUVELLE REVUE FRANCAISE, 1993, (481): : 118 - 119
  • [7] Interfacing Coq
    Komendantsky, Vladimir
    Konovalov, Alexander
    Linton, Steve
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 285 : 17 - 28
  • [8] 'COQ DOR'
    MERZ, R
    BALLETT INTERNATIONAL-TANZ AKTUELL, 1982, 5 (01): : 86 - 87
  • [9] HOCore in Coq
    Maksimovic, Petar
    Schmitt, Alan
    INTERACTIVE THEOREM PROVING, 2015, 9236 : 278 - 293
  • [10] COQ IN SERVICES
    WELLS, S
    SLOAN MANAGEMENT REVIEW, 1992, 34 (01): : 6 - 6
12345