We present two total Lagrangian formulations for finite strain discrete dislocation plasticity wherein the discrete dislocations are presumed to be adequately represented by singular linear elastic fields thereby extending the superposition method of Van der Giessen and Needleman (1995) to finite strains. The finite deformation effects accounted for are (i) finite lattice rotations and (ii) shape changes due to slip. The two formulations presented differ in the fact that in the “smeared-slip” formulation the discontinuous displacement field is smeared using finite element shape functions while in the “discrete-slip” formulation the weak form of the equilibrium statement is written to account for the slip displacement discontinuity. Both the...