Changes between Version 2 and Version 3 of Awards.ja


Ignore:
Timestamp:
10/08/08 18:58:36 (16 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Awards.ja

    v2 v3  
    2222 
    2323 住井英二郎, Benjamin C. Pierce:: 
    24  '''The Cryptographic λ-Calculus: Syntax, Semantics, Type System and Logical Relations'''[[br]] 
     24 '''The Cryptographic λ-Calculus: Syntax, Semantics, Type System and Logical Relations'''[[br]] 
    2525  ''日本ソフトウェア科学会 第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001) PPL論文賞'' 
    2626