CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Author
Aczel
Backus
+33 more
Bergstra
Bishop
Blass
Broy
Chen
Cooke
Dahl
Dezani-Ciancaglini
Dijkstra
Floyd
Hassan Haghighi
Hayes
Henson
Hesselink
Hesselink
Hoare
Lano
Luo
Martin-Löf
Milner
Mislove
Morris
Myhill
Nordstrom
Pressman
Seyyed Hassan Mirian Hosseinabadi
Spivey
Subrahmanyam
Søndergaard
Thompson
Walicki
Walicki
Walicki
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref
35th Symposium on Theoretical Aspects of Computer Science: STACS 2018, February 28-March 3, 2018, Caen, France
Author
STACS
Publication venue
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Publication date
01/02/2018
Field of study
Get PDF
Digitale Bibliothek Thüringen