[Bec2001] Exact bounds for lengths of reductions in typed λ-calculus

Tree

Index

Bibliography

[Bec2001] Exact bounds for lengths of reductions in typed $λ$ -calculus

beckmann:lambda:01 (Article)
Author(s)	Beckmann A.
Title	"Exact bounds for lengths of reductions in typed $λ$ -calculus"
Date	2001
Journal	J. Symbolic Logic
Volume	66
Number	-
Page(s)	1277--1285

BibTeX code

@article{beckmann:lambda:01,
  journal = {J. Symbolic Logic},
  volume = {66},
  title = {Exact bounds for lengths of reductions in typed {$\lambda$}-calculus},
  author = {Beckmann, Arnold},
  year = {2001},
  fjournal = {The Journal of Symbolic Logic},
  pages = {1277--1285},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug