Courses / Module

Toggle Print

SEMANTICS, PROOFS AND TYPES (UDEL)

	Overview
	Semantics, Proofs and Types (Universite de Lorraine).

	Learning Outcomes
	On successful completion of the module, students should be able to: Be able to apply an understanding of semantics, proofs, and types in developing proofs and related activities.

Assessment

	Timetable
	This timetable is not currently available, please contact the Computer Science Department.