C00-1067 | systems of dynamic semantics ( e.g. | Dynanfic Lambda Calculus | ( Kuschert , 1999 ) ) . In this |
![]() |
|
|
C00-1067 | systems of dynamic semantics ( e.g. | Dynanfic Lambda Calculus | ( Kuschert , 1999 ) ) . In this |