Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

书目详细资料
主要作者: Gibbons, J
格式: Record
出版: 1999
_version_ 1826274963553779712
author Gibbons, J
author_facet Gibbons, J
author_sort Gibbons, J
collection OXFORD
description
first_indexed 2024-03-06T22:51:28Z
format Record
id oxford-uuid:5eeb49e8-32f7-419e-891f-4e5a5e17dcc3
institution University of Oxford
last_indexed 2024-03-06T22:51:28Z
publishDate 1999
record_format dspace
spelling oxford-uuid:5eeb49e8-32f7-419e-891f-4e5a5e17dcc32022-03-26T17:43:47ZLecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional ProgramsRecordhttp://purl.org/coar/resource_type/c_1843uuid:5eeb49e8-32f7-419e-891f-4e5a5e17dcc3Department of Computer Science1999Gibbons, J
spellingShingle Gibbons, J
Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
title Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
title_full Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
title_fullStr Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
title_full_unstemmed Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
title_short Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
title_sort lecture notes on algebraic and coalgebraic methods for calculating functional programs
work_keys_str_mv AT gibbonsj lecturenotesonalgebraicandcoalgebraicmethodsforcalculatingfunctionalprograms