Back to Search
Start Over
Preliminary Concepts
- Source :
- Simple Type Theory ISBN: 9783031211119
- Publication Year :
- 2023
- Publisher :
- Springer International Publishing, 2023.
Details
- ISBN :
- 978-3-031-21111-9
- ISBNs :
- 9783031211119
- Database :
- OpenAIRE
- Journal :
- Simple Type Theory ISBN: 9783031211119
- Accession number :
- edsair.doi...........0d75716bd2f7a29509958403cb1aea17
- Full Text :
- https://doi.org/10.1007/978-3-031-21112-6_3