Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q56457477)
Watch
English
Dependently typed functional programs and their proofs
doctoral thesis
In more languages
edit
Statements
instance of
doctoral thesis
1 reference
stated in
E-Theses Online Service
reference URL
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753
retrieved
30 August 2018
title
Dependently typed functional programs and their proofs
(English)
1 reference
stated in
E-Theses Online Service
reference URL
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753
retrieved
30 August 2018
author
Conor McBride
object named as
Conor McBride
series ordinal
1
1 reference
stated in
E-Theses Online Service
reference URL
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753
retrieved
30 August 2018
dissertation submitted to
University of Edinburgh
1 reference
stated in
E-Theses Online Service
reference URL
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753
retrieved
30 August 2018
publication date
2000
1 reference
stated in
E-Theses Online Service
reference URL
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753
retrieved
30 August 2018
Identifiers
EThOS thesis ID
uk.bl.ethos.561753
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit