Skip to main navigation Skip to search Skip to main content

Action Calculi VI: Strong normalisation at higher order

  • Robin Milner

Research output: Working paper

Original languageEnglish
Number of pages14
Publication statusUnpublished - Dec 1993

Cite this