聯立遞歸式(simultaneous recursion schema )原始遞歸式的一種推廣形式.指同時定義多個函式而又不能獨立開來的一種函式定義方式.例如，給定函式A,B,C,D，由下列同時定義的函式.f,g:就是一個二重的聯立遞歸式一般地，多重聯立遞歸式與此類似，只是形式上略為複雜一些.當A=B,C=D時，上述聯立遞歸式蛻化為原始遞歸式.另一方面，一般的聯立遞歸式都可化歸為原始遞歸式.
