2 resultados para Subgingival calculus
em AMS Tesi di Laurea - Alm@DL - Università di Bologna
Relevância:
Relevância:
Resumo:
In questa tesi si descrive il lambda calcolo finito, un'istanza del lambda calcolo con tipi finiti. Si studia la metateoria e la complessità della riduzione.
