Topological representation of the lambda-calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Steven Awodey. Topological representation of the lambda-calculus. Mathematical Structures in Computer Science, 10(1):81-96, 2000.

@article{Awodey00,
  title = {Topological representation of the lambda-calculus},
  author = {Steven Awodey},
  year = {2000},
  researchr = {https://researchr.org/publication/Awodey00},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {10},
  number = {1},
  pages = {81-96},
}

runs on WebDSL