Inproceedings,

New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi

, and .
LICS, page 311-321. IEEE Computer Society, (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews