CSCI-B 619 TOPICS IN APPLIED LOGIC (3 CR.)
Special topics in applied logic.
1 classes found
Spring 2024
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
LEC | 3 | 34893 | Open | 1:15 p.m.–2:30 p.m. | MW | BH 006 | Angiuli C |
Regular Academic Session / In Person
LEC 34893: Total Seats: 30 / Available: 20 / Waitlisted: 0
Lecture (LEC)
- TOPIC: Modern Dependent Types
Topic: Modern dependent types