-
1by Junker, Marie-OdileGet access
Published in Canadian Journal of Linguistics/Revue canadienne de linguistique (1994)
Get access
Article in Journal/Newspaper -
2
-
3by Galbraith, Daniel“... mainly to phonology; however its application to syntax has also gained ground in recent years. OLG...”
Published 2023
Get access
Book -
4“.... (Discourse, syntax–phonology–discourse interaction, ethnopoetics; Native America, Alaska, Yupik Eskimo)...”
Get access
Get access
Article in Journal/Newspaper -
5by ABEL, ANDREAS, ALLAIS, GUILLAUME, HAMEER, ALIYA, PIENTKA, BRIGITTE, MOMIGLIANO, ALBERTO, SCHÄFER, STEVEN, STARK, KATHRIN“... consider the mechanization in Beluga, a proof environment that supports higher-order abstract syntax...”
Published in Journal of Functional Programming (2019)
Get access
Get access
Article in Journal/Newspaper -
6“... rules, operational semantics, algorithmic and declarative equality using higher order abstract syntax...”
Get access
Get access
Article in Journal/Newspaper -
7by MOMIGLIANO, ALBERTO, PIENTKA, BRIGITTE, THIBODEAU, DAVID“... system. The development relies on three key ingredients: (1) we give a higher order abstract syntax (HOAS...”
Published in Mathematical Structures in Computer Science (2018)
Get access
Get access
Article in Journal/Newspaper