- Tytuł:
- A proof-theoretic semantics for contextual domain restriction
- Autorzy:
- Francez, N.
- Data publikacji:
- 2014
- Słowa kluczowe:
-
proof-theoretic semantics
contextual domain restriction - Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.