Sökning: "José Luis Vivas"
Hittade 2 avhandlingar innehållade orden José Luis Vivas.
1. Dynamic scoping in -calculus
Sammanfattning : .... LÄS MER
2. Dynamic Binding of Names in Calculi for Mobile Processes
Sammanfattning : .... LÄS MER
Resultatsidor:
1