eCommons@Cornell: Browsing eCommons

Browsing by Author Silva, Alexandra

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

Issue Date	Title	Author(s)
31-Dec-2012	CoCaml: Programming with Coinductive Types	Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
23-Aug-2011	Left-Handed Completeness	Kozen, Dexter; Silva, Alexandra
12-Jun-2011	On Moessner's Theorem	Kozen, Dexter; Silva, Alexandra
11-Nov-2012	Practical Coinduction	Kozen, Dexter; Silva, Alexandra

Showing results 1 to 4 of 4