Print Page | Close Window

Programming in Martin-L? Type Theory

Printed From: One Stop GATE
Category: GATE AT A GLANCE
Forum Name: Online Resources
Forum Discription: Anything that will help in preparation for GATE, and is online, can be discussed here.
URL: http://forum.onestopgate.com/forum_posts.asp?TID=747
Printed Date: 08Feb2025 at 2:23am


Topic: Programming in Martin-L? Type Theory
Posted By: manju
Subject: Programming in Martin-L? Type Theory
Date Posted: 24Feb2007 at 10:53am
Hi,
 
  http://www.cs.chalmers.se/Cs/Research/Logic/book/ - Programming in Martin-L? Type Theory


Print Page | Close Window