Algebra of programming in Agda: dependent types for relational program derivation

請用此 Handle URI 來引用此文件： http://ir.sinica.edu.tw/handle/201000000A/40214

題名:	Algebra of programming in Agda: dependent types for relational program derivation
作者:	Mu, S-C. Ko, H-S. Jansson, P.
公開日期:	2009-09-01
關聯:	Journal of Functional Programming 19, 545-579
URI:	http://ir.sinica.edu.tw/handle/201000000A/40214
ISSN:	http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Drexel&SrcApp=hagerty_opac&KeyRecord=0956-7968&DestApp=JCR&RQ=IF_CAT_BOXPLOT
顯示於：	資訊科學研究所

顯示文件完整紀錄

上周
0

上個月
0

checked on 2025/6/14

檢查