C-Type Lambda Printing