Categorical Type Theory and its Uses
Upcoming SlideShare
Loading in...5
×
 

Categorical Type Theory and its Uses

on

  • 779 views

January 2000

January 2000

Statistics

Views

Total Views
779
Views on SlideShare
779
Embed Views
0

Actions

Likes
0
Downloads
1
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Categorical Type Theory and its Uses Categorical Type Theory and its Uses Presentation Transcript