Cheat Sheet

Propositional Type Theory


Author:                        Jan Burse, XLOG Technologies GmbH

Date:                           14. February 2010

Version:                      0.2

Participants:               None

1 Change history

2 Introduction

3 Minimal Logic

4 Type Theory

5 References

Kommentare