| _version_ |
1826284415446155264
|
| author |
Pulman, S
|
| author_facet |
Pulman, S
|
| author_sort |
Pulman, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T01:13:30Z
|
| format |
Book section
|
| id |
oxford-uuid:8dda413f-0c59-4d8e-95b8-2546a62c82bb
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T01:13:30Z
|
| publishDate |
1994
|
| record_format |
dspace
|
| spelling |
oxford-uuid:8dda413f-0c59-4d8e-95b8-2546a62c82bb2022-03-26T22:53:48ZExpressivity of Lean FormalismsBook sectionhttp://purl.org/coar/resource_type/c_3248uuid:8dda413f-0c59-4d8e-95b8-2546a62c82bbDepartment of Computer Science1994Pulman, S
|
| spellingShingle |
Pulman, S
Expressivity of Lean Formalisms
|
| title |
Expressivity of Lean Formalisms
|
| title_full |
Expressivity of Lean Formalisms
|
| title_fullStr |
Expressivity of Lean Formalisms
|
| title_full_unstemmed |
Expressivity of Lean Formalisms
|
| title_short |
Expressivity of Lean Formalisms
|
| title_sort |
expressivity of lean formalisms
|
| work_keys_str_mv |
AT pulmans expressivityofleanformalisms
|