مرکز منطقه ای اطلاع رساني علوم و فناوري - Structural Induction and Coinduction in a Fibrational Setting

Title of article :

Structural Induction and Coinduction in a Fibrational Setting

Author/Authors :

Claudio Hermida، نويسنده , , Bart Jacobs، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

107

To page :

152

Journal title :

Information and Computation

Serial Year :

1998

Journal title :

Information and Computation

Record number :

261792

Link To Document :