Une Généralisation de la Théorie des Types en /lambda-Calcul (Première partie) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Patrick Sallé. Une Généralisation de la Théorie des Types en /lambda-Calcul (Première partie). ITA, 14(2):143-167, 1980.

@article{Salle80,
  title = {Une Généralisation de la Théorie des Types en /lambda-Calcul (Première partie)},
  author = {Patrick Sallé},
  year = {1980},
  researchr = {https://researchr.org/publication/Salle80},
  cites = {0},
  citedby = {0},
  journal = {ITA},
  volume = {14},
  number = {2},
  pages = {143-167},
}

runs on WebDSL