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

Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: Theory of Computing Systems 43
College: College of Science
Issue: 3-4
Start Page: 298