Vingerafdruk
Duik in de onderzoeksthema's van 'A nominal axiomatisation of the lambda-calculus'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
A nominal axiomatisation of the lambda-calculus
M.J. Gabbay, A.H.J. Mathijssen
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
13
Citaten
(Scopus)