Enhanced Realizability Interpretation for Program Extraction
| Date first appeared online | 09/09/2021 |
| DOI | 10.23889/SUthesis.57831 |
| Authors | Petrovska O., PETROVSKA O. |
| Journal Name | |
| Volume |
Documents
- Petrovska_Olga_PhD_Thesis_Final_Redacted_Signature.pdf , Book, Copyright: The author, Olga Petrovska, 2021.