No Cover Image

Journal article 403 views

A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ / Rose H Abdul Rauf; Ulrich Berger; Anton Setzer

Theory of Computing Systems, Volume: 43, Issue: 3-4, Start page: 298

Swansea University Author: Berger, Ulrich

Full text not available from this repository: check for access using links below.

Published in: Theory of Computing Systems
ISSN: 1432-4350 1433-0490
Published: 2008
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa135
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T11:47:01Z
last_indexed 2018-02-09T04:26:58Z
id cronfa135
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2013-10-17T11:57:22Z</datestamp><bib-version>v2</bib-version><id>135</id><entry>2012-02-23</entry><title>A Provably Correct Translation of the &#x3BB;-Calculus into a Mathematical Model of C++</title><alternativeTitle></alternativeTitle><author>Ulrich Berger</author><firstname>Ulrich</firstname><surname>Berger</surname><active>true</active><ORCID>0000-0002-7677-3582</ORCID><ethesisStudent>false</ethesisStudent><sid>61199ae25042a5e629c5398c4a40a4f5</sid><email>1033ad124f5b3817f154c6a412b415fb</email><emailaddr>CKinmB6DN60fV15NUChxf9yvqZQRJmUl2lxhnzSZE7o=</emailaddr><date>2012-02-23</date><deptcode>SCS</deptcode><abstract></abstract><type>Journal article</type><journal>Theory of Computing Systems</journal><volume>43</volume><journalNumber>3-4</journalNumber><paginationStart>298</paginationStart><paginationEnd></paginationEnd><publisher></publisher><placeOfPublication></placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint>1432-4350</issnPrint><issnElectronic>1433-0490</issnElectronic><keywords></keywords><publishedDay>0</publishedDay><publishedMonth>0</publishedMonth><publishedYear>2008</publishedYear><publishedDate>2008-01-01</publishedDate><doi>10.1007/s00224-007-9062-1</doi><url></url><notes>Theory of Computing Systems 43</notes><college>College of Science</college><department>Computer Science</department><CollegeCode>CSCI</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution/><researchGroup>Theoretical Computer Science</researchGroup><supervisor></supervisor><sponsorsfunders/><grantnumber/><degreelevel/><degreename></degreename><lastEdited>2013-10-17T11:57:22Z</lastEdited><Created>2012-02-23T17:01:55Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Rose H</firstname><surname>Abdul&amp;nbsp;Rauf</surname><orcid/><order>1</order></author><author><firstname>Ulrich</firstname><surname>Berger</surname><orcid/><order>2</order></author><author><firstname>Anton</firstname><surname>Setzer</surname><orcid/><order>3</order></author></authors><documents/></rfc1807>
spelling 2013-10-17T11:57:22Z v2 135 2012-02-23 A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Ulrich Berger Ulrich Berger true 0000-0002-7677-3582 false 61199ae25042a5e629c5398c4a40a4f5 1033ad124f5b3817f154c6a412b415fb CKinmB6DN60fV15NUChxf9yvqZQRJmUl2lxhnzSZE7o= 2012-02-23 SCS Journal article Theory of Computing Systems 43 3-4 298 1432-4350 1433-0490 0 0 2008 2008-01-01 10.1007/s00224-007-9062-1 Theory of Computing Systems 43 College of Science Computer Science CSCI SCS Theoretical Computer Science 2013-10-17T11:57:22Z 2012-02-23T17:01:55Z College of Science Computer Science Rose H Abdul&nbsp;Rauf 1 Ulrich Berger 2 Anton Setzer 3
title A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
spellingShingle A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
Berger, Ulrich
title_short A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_full A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_fullStr A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_full_unstemmed A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
title_sort A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
author_id_str_mv 61199ae25042a5e629c5398c4a40a4f5
author_id_fullname_str_mv 61199ae25042a5e629c5398c4a40a4f5_***_Berger, Ulrich
author Berger, Ulrich
author2 Rose H Abdul&nbsp;Rauf
Ulrich Berger
Anton Setzer
format Journal article
container_title Theory of Computing Systems
container_volume 43
container_issue 3-4
container_start_page 298
publishDate 2008
institution Swansea University
issn 1432-4350
1433-0490
doi_str_mv 10.1007/s00224-007-9062-1
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
document_store_str 0
active_str 1
researchgroup_str Theoretical Computer Science
published_date 2008-01-01T03:54:08Z
_version_ 1647969775048982528
score 10.891744