A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion

@inproceedings{Gordon1993AMO,
  title={A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion},
  author={Andrew D. Gordon},
  booktitle={HUG},
  year={1993}
}

Topic

Statistics

051015'94'97'00'03'06'09'12'15'18
Citations per Year

81 Citations

Semantic Scholar estimates that this publication has 81 citations based on the available data.

See our FAQ for additional information.