Yoriyuki Yamagata  Home/Search
Context
Related
Links: ACM DBLP | staff.aist.go.jp/yoriyuk...tacs2001.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: staff.aist.go.jp/yoriyuki.yama... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Parigot suggested symmetric structural reduction rules for application to -abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order #-calculus with these rules. 1 (Update)
Active bibliography (related documents): More All
0.4: Strong Normalization of a Symmetric Lambda Calculus for Second.. - Yamagata (Correct)
0.4: A Notion of Classical Pure Type System - Barthe, Hatcliff, Sørensen (1997) (Correct)
0.3: CPS Translating Inductive and Coinductive Types (Extended.. - Barthe, Uustalu (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@article{ yamagata01strong,
author = "Yoriyuki Yamagata",
title = "Strong Normalization of Second Order Symmetric Lambda-mu Calculus",
journal = "Lecture Notes in Computer Science",
volume = "2215",
pages = "459--??",
year = "2001",
url = "citeseer.ist.psu.edu/749045.html" }
Citations (may not include all citations):134 calculus: an algorithmic interpretation of classical natural.. (context) - Parigot - 1992
57 new deconstructive logiclinear logic - Joinet, deconstructive et al. - 1997
40 A curry-howard foundation for functional computation with co.. - Ong, Stewart - 1997 ACM DBLP
40 Strong normalization for second order classical natural dedu.. (context) - Parigot - 1997 DBLP
32 Classical proofs as programs (context) - Parigot - 1993 ACM DBLP
11 continuation semantics and abstract machines (context) - Streicher, Reus - 1998
8 A symmetric lambda calculus (context) - Barbanera, Berardi - 1996
4 A strong normalization result for classical logic - Barbanera, Berardi - 1995 DBLP
3 A cps-translation of the #-calculus (context) - de Groote - 1994
1 the computational interpretation of negation (context) - Parigot - 2000
1 calculus and the syntactic theory of sequential control (context) - de Groote, relation - 1994
1 A normalization-procedure for the first order classical natu.. (context) - Andou - 1995
Documents on the same site (http://staff.aist.go.jp/yoriyuki.yamagata/):
Strong Normalization of a Symmetric Lambda Calculus for Second.. - Yamagata (Correct)
A Sequent Calculus for Limit Computable Mathematics - Berardi, Yamagata (2006) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC