λ-sub as an explicit substitution calculus

Shane O'Conchúir

Publikation: Bog / Antologi / RapportRapportForskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'λ-sub as an explicit substitution calculus'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Engineering

Computer Science